2008 |
46 | | 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 |
45 | EE | 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 |
44 | EE | Marios D. Dikaiakos,
Omer F. Rana,
Shmuel Ur,
João Lourenço:
Topic 1: Support Tools and Environments.
Euro-Par 2008: 1-2 |
43 | EE | Yoram Adler,
Dale Blue,
Thomas Conti,
Richard Prewitt,
Shmuel Ur:
Evaluating Workloads Using Comparative Functional Coverage.
Haifa Verification Conference 2008: 84-98 |
42 | EE | Eitan Farchi,
Shmuel Ur:
Selective Homeworkless Reviews.
ICST 2008: 404-413 |
41 | EE | Shmuel Ur,
Scott D. Stoller,
Eitan Farchi:
6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08).
ISSTA 2008: 309-310 |
40 | EE | Yarden Nir-Buchbinder,
Rachel Tzoref,
Shmuel Ur:
Deadlocks: From Exhibiting to Healing.
RV 2008: 104-118 |
39 | EE | 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 |
38 | | 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 |
37 | | 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 |
36 | EE | Rachel Tzoref,
Shmuel Ur,
Elad Yom-Tov:
Instrumenting where it hurts: an automatic concurrent debugging technique.
ISSTA 2007: 27-38 |
35 | EE | Bohuslav Krena,
Zdenek Letko,
Rachel Tzoref,
Shmuel Ur,
Tomás Vojnar:
Healing data races on-the-fly.
PADTAD 2007: 54-64 |
34 | EE | Yarden Nir-Buchbinder,
Shmuel Ur:
ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools.
SOQUA 2007: 9-16 |
33 | EE | Shmuel Ur:
Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD).
Concurrency and Computation: Practice and Experience 19(3): 265-266 (2007) |
32 | 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) |
31 | EE | Marina Biberstein,
Eitan Farchi,
Shmuel Ur:
Choosing among alternative pasts.
Concurrency and Computation: Practice and Experience 19(3): 341-353 (2007) |
30 | 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 |
29 | | 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 |
28 | | 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 |
27 | EE | Shmuel Ur:
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques.
Haifa Verification Conference 2006: 122-123 |
26 | EE | Shmuel Ur,
Elad Yom-Tov,
Paul Wernick:
An Open Source Simulation Model of Software Development and Testing.
Haifa Verification Conference 2006: 124-137 |
25 | EE | Yosi Ben-Asher,
Yaniv Eytani,
Eitan Farchi,
Shmuel Ur:
Producing scheduling that causes concurrent programs to fail.
PADTAD 2006: 37-40 |
24 | 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 |
23 | EE | Shady Copty,
Shmuel Ur:
Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!.
Euro-Par 2005: 740-749 |
22 | EE | Daniel J. Quinlan,
Shmuel Ur,
Richard W. Vuduc:
An Extensible Open-Source Compiler Infrastructure for Testing.
Haifa Verification Conference 2005: 116-133 |
21 | EE | Arkady Bron,
Eitan Farchi,
Yonit Magid,
Yarden Nir,
Shmuel Ur:
Applications of synchronization coverage.
PPOPP 2005: 206-212 |
2004 |
20 | EE | Shai Fine,
Shmuel Ur,
Avi Ziv:
Probabilistic regression suites for functional verification.
DAC 2004: 49-54 |
19 | EE | Yaniv Eytani,
Shmuel Ur:
Compiling a Benchmark of Documented Multi-Threaded Bugs.
IPDPS 2004 |
18 | EE | 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 | 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 |