Shmuel Ur

2008
33	EE	Eitan Farchi, Shmuel Ur: Selective Homeworkless Reviews. ICST 2008: 404-413
2007
32		Eyal Bin, Avi Ziv, Shmuel Ur: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers Springer 2007
31	EE	Rachel Tzoref, Shmuel Ur, Elad Yom-Tov: Instrumenting where it hurts: an automatic concurrent debugging technique. ISSTA 2007: 27-38
30	EE	Shmuel Ur: Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD). Concurrency and Computation: Practice and Experience 19(3): 265-266 (2007)
29	EE	Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur: Towards a framework and a benchmark for testing tools for multi-threaded programs. Concurrency and Computation: Practice and Experience 19(3): 267-279 (2007)
28	EE	Marina Biberstein, Eitan Farchi, Shmuel Ur: Choosing among alternative pasts. Concurrency and Computation: Practice and Experience 19(3): 341-353 (2007)
27	EE	Shady Copty, Shmuel Ur: Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ. Electr. Notes Theor. Comput. Sci. 174(9): 151-165 (2007)
2006
26		Shmuel Ur, Eyal Bin, Yaron Wolfsthal: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers Springer 2006
25	EE	Shmuel Ur: A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques. Haifa Verification Conference 2006: 122-123
24	EE	Shmuel Ur, Elad Yom-Tov, Paul Wernick: An Open Source Simulation Model of Software Development and Testing. Haifa Verification Conference 2006: 124-137
23	EE	Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar: Advanced Analysis Techniques for Cross-Product Coverage. IEEE Trans. Computers 55(11): 1367-1379 (2006)
2005
22	EE	Shady Copty, Shmuel Ur: Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!. Euro-Par 2005: 740-749
21	EE	Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc: An Extensible Open-Source Compiler Infrastructure for Testing. Haifa Verification Conference 2005: 116-133
20	EE	Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur: Applications of synchronization coverage. PPOPP 2005: 206-212
2004
19	EE	Shai Fine, Shmuel Ur, Avi Ziv: Probabilistic regression suites for functional verification. DAC 2004: 49-54
18	EE	Yaniv Eytani, Shmuel Ur: Compiling a Benchmark of Documented Multi-Threaded Bugs. IPDPS 2004
17	EE	Marina Biberstein, Eitan Farchi, Shmuel Ur: Fidgeting to the Point of No Return. IPDPS 2004
2003
16	EE	Klaus Havelund, Scott D. Stoller, Shmuel Ur: Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . IPDPS 2003: 286
15	EE	Eitan Farchi, Yarden Nir, Shmuel Ur: Concurrent Bug Patterns and How to Test Them. IPDPS 2003: 286
14	EE	Marina Biberstein, Eitan Farchi, Shmuel Ur: Choosing among Alternative Pasts. IPDPS 2003: 289
13		Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur: Framework for testing multi-threaded Java programs. Concurrency and Computation: Practice and Experience 15(3-5): 485-499 (2003)
2002
12	EE	Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv: Hole analysis for functional coverage data. DAC 2002: 807-812
11	EE	Gil Ratsaby, Baruch Sterin, Shmuel Ur: Improvements in Coverability Analysis. FME 2002: 41-56
10	EE	Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. IBM Systems Journal 41(1): 111-125 (2002)
2001
9	EE	Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal: Coverability Analysis Using Symbolic Model Checking. CHARME 2001: 155-160
8		Gilly Nativ, Steven Mittermaier, Shmuel Ur, Avi Ziv: Cost evaluation of coverage directed test generation for the IBM mainframe. ITC 2001: 793-802
7	EE	Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. Java Grande 2001: 181
1999
6	EE	Shmuel Ur, Yaov Yadin: Micro Architecture Coverage Directed Generation of Test Programs. DAC 1999: 175-180
1998
5	EE	Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv: User Defined Coverage - A Tool Supported Methodology for Design Verification. DAC 1998: 158-163
1997
4	EE	Erez Buchnik, Shmuel Ur: Compacting regression-suites on-the-fly. APSEC 1997: 385-394
1996
3		Daniel Lewin, Dean H. Lorenz, Shmuel Ur: A Methodology for Processor Implementation Verification. FMCAD 1996: 126-142
2		Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal: Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD 1996: 143-158
1992
1		Shmuel Ur, Michael A. Trick, Daniel Dominic Sleator: Analysis of Online Algorithms for Organ Allocation. IFIP Congress (1) 1992: 458-464

Coauthor Index

1	Hezi Azatchi	[23]
2	Marina Biberstein	[14] [17] [28]
3	Eyal Bin	[26] [32]
4	Arkady Bron	[20]
5	Erez Buchnik	[4]
6	Shady Copty	[22] [27]
7	Orit Edelstein	[7] [10] [13]
8	Yaniv Eytani	[18] [29]
9	Eitan Farchi	[7] [10] [13] [14] [15] [17] [20] [28] [33]
10	Monica Farkas	[2]
11	Shai Fine	[19]
12	Laurent Fournier	[23]
13	Daniel Geist	[2]
14	Evgeny Goldin	[13]
15	Raanan Grinwald	[5]
16	Eran Harel	[5]
17	Klaus Havelund	[16] [29]
18	Oded Lachish	[12]
19	Avner Landver	[2]
20	Daniel Lewin	[3]
21	Yossi Lichtenstein	[2]
22	Dean H. Lorenz	[3]
23	Yonit Magid	[20]
24	Eitan Marcus	[12] [23]
25	Steven Mittermaier	[8]
26	Gilly Nativ	[8]
27	Yarden Nir	[7] [10] [13] [15] [20]
28	Michael Orgad	[5]
29	Daniel J. Quinlan	[21]
30	Gil Ratsaby	[7] [9] [10] [11] [13]
31	Daniel Dominic Sleator	[1]
32	Baruch Sterin	[11]
33	Scott D. Stoller	[16] [29]
34	Michael A. Trick	[1]
35	Rachel Tzoref	[31]
36	Richard W. Vuduc (Rich Vuduc)	[21]
37	Paul Wernick	[24]
38	Yaron Wolfsthal	[2] [9] [26]
39	Yaov Yadin	[6]
40	Elad Yom-Tov	[24] [31]
41	Avi Ziv	[5] [8] [12] [19] [23] [32]
42	Keren Zohar	[23]

Colors in the list of coauthors