Shmuel Ur

	2009
50		Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick: Automated substring hole analysis. ICSE Companion 2009: 203-206
49		Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick: Advanced code coverage analysis using substring holes. ISSTA 2009: 37-46
48		Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar: A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. RV 2009: 101-114
	2008
47		Shmuel Ur: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008 ACM 2008
46		Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory: Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. ASE 2008: 307-316
45		Marios D. Dikaiakos, Omer F. Rana, Shmuel Ur, João Lourenço: Topic 1: Support Tools and Environments. Euro-Par 2008: 1-2
44		Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur: Evaluating Workloads Using Comparative Functional Coverage. Haifa Verification Conference 2008: 84-98
43		Eitan Farchi, Shmuel Ur: Selective Homeworkless Reviews. ICST 2008: 404-413
42		Shmuel Ur, Scott D. Stoller, Eitan Farchi: 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). ISSTA 2008: 309-310
41		Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur: Deadlocks: From Exhibiting to Healing. RV 2008: 104-118
40		Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv: A probabilistic alternative to regression suites. Theor. Comput. Sci. 404(3): 219-234 (2008)
	2007
39		Shmuel Ur, Eitan Farchi: Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007 ACM 2007
38		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
37		Rachel Tzoref, Shmuel Ur, Elad Yom-Tov: Instrumenting where it hurts: an automatic concurrent debugging technique. ISSTA 2007: 27-38
36		Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar: Healing data races on-the-fly. PADTAD 2007: 54-64
35		Yarden Nir-Buchbinder, Shmuel Ur: ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools. SOQUA 2007: 9-16
34		Shmuel Ur: Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD). Concurrency and Computation: Practice and Experience 19(3): 265-266 (2007)
33		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)
32		Marina Biberstein, Eitan Farchi, Shmuel Ur: Choosing among alternative pasts. Concurrency and Computation: Practice and Experience 19(3): 341-353 (2007)
31		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
30		Shmuel Ur, Eitan Farchi: Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006 ACM 2006
29		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
28		Shmuel Ur: A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques. Haifa Verification Conference 2006: 122-123
27		Shmuel Ur, Elad Yom-Tov, Paul Wernick: An Open Source Simulation Model of Software Development and Testing. Haifa Verification Conference 2006: 124-137
26		Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur: Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. ISoLA 2006: 458-465
25		Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur: Producing scheduling that causes concurrent programs to fail. PADTAD 2006: 37-40
24		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
23		Shady Copty, Shmuel Ur: Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!. Euro-Par 2005: 740-749
22		Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc: An Extensible Open-Source Compiler Infrastructure for Testing. Haifa Verification Conference 2005: 116-133
21		Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur: Applications of synchronization coverage. PPOPP 2005: 206-212
	2004
20		Shai Fine, Shmuel Ur, Avi Ziv: Probabilistic regression suites for functional verification. DAC 2004: 49-54
19		Yaniv Eytani, Shmuel Ur: Compiling a Benchmark of Documented Multi-Threaded Bugs. IPDPS 2004
18		Marina Biberstein, Eitan Farchi, Shmuel Ur: Fidgeting to the Point of No Return. IPDPS 2004
17		Shady Copty, Shai Fine, Shmuel Ur, Avi Ziv: Probabilistic Alternative Regression Suites. ISoLA (Preliminary proceedings) 2004: 89-91
	2003
16		Klaus Havelund, Scott D. Stoller, Shmuel Ur: Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . IPDPS 2003: 286
15		Eitan Farchi, Yarden Nir, Shmuel Ur: Concurrent Bug Patterns and How to Test Them. IPDPS 2003: 286
14		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		Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv: Hole analysis for functional coverage data. DAC 2002: 807-812
11		Gil Ratsaby, Baruch Sterin, Shmuel Ur: Improvements in Coverability Analysis. FME 2002: 41-56
10		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		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		Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. Java Grande 2001: 181
	1999
6		Shmuel Ur, Yaov Yadin: Micro Architecture Coverage Directed Generation of Test Programs. DAC 1999: 175-180
	1998
5		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		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	Yoram Adler	[44] [49] [50]
2	Hezi Azatchi	[24]
3	Yosi Ben-Asher	[25] [26]
4	Marina Biberstein	[14] [18] [32]
5	Eyal Bin	[29] [38]
6	Dale Blue	[44]
7	Arkady Bron	[21]
8	Erez Buchnik	[4]
9	Thomas Conti	[44]
10	Shady Copty	[17] [23] [31] [40]
11	Marios D. Dikaiakos	[45]
12	Orit Edelstein	[7] [10] [13]
13	Yaniv Eytani	[19] [25] [26] [33]
14	Eitan Farchi	[7] [10] [13] [14] [15] [18] [21] [25] [26] [30] [32] [39] [42] [43] [49] [50]
15	Monica Farkas	[2]
16	Shai Fine	[17] [20] [40]
17	Laurent Fournier	[24]
18	Daniel Geist	[2]
19	Evgeny Goldin	[13]
20	Raanan Grinwald	[5]
21	Eran Harel	[5]
22	Klaus Havelund	[16] [33]
23	Shlomo Hoory	[46]
24	Moshe Klausner	[49] [50]
25	Bohuslav Krena	[36] [48]
26	Oded Lachish	[12]
27	Avner Landver	[2]
28	Zdenek Letko	[36] [48]
29	Daniel Lewin	[3]
30	Yossi Lichtenstein	[2]
31	Dean H. Lorenz	[3]
32	João Lourenço	[45]
33	Yonit Magid	[21]
34	Eitan Marcus	[12] [24]
35	Steven Mittermaier	[8]
36	Gilly Nativ	[8]
37	Yarden Nir-Buchbinder (Yarden Nir)	[7] [10] [13] [15] [21] [35] [41] [48]
38	Michael Orgad	[5]
39	Dan Pelleg	[49] [50]
40	Richard Prewitt	[44]
41	Daniel J. Quinlan	[22]
42	Omer F. Rana	[45]
43	Gil Ratsaby	[7] [9] [10] [11] [13]
44	Orna Raz	[49] [50]
45	Moran Shochat	[49] [50]
46	Daniel Dominic Sleator	[1]
47	Baruch Sterin	[11]
48	Scott D. Stoller	[16] [33] [42]
49	Michael A. Trick	[1]
50	Rachel Tzoref (Rachel Tzoref-Brill)	[36] [37] [41] [46] [48]
51	Tomás Vojnar	[36] [48]
52	Richard W. Vuduc (Rich Vuduc)	[22]
53	Paul Wernick	[27]
54	Yaron Wolfsthal (Yaron Wolfstahl)	[2] [9] [29]
55	Yaov Yadin	[6]
56	Elad Yom-Tov	[27] [37] [40] [46]
57	Avi Ziv	[5] [8] [12] [17] [20] [24] [38] [40]
58	Aviad Zlotnick	[49] [50]
59	Keren Zohar	[24]

Colors in the list of coauthors