Fidgeting to the point of no return
- Marina Biberstein
- Eitan Farchi
- et al.
- 2004
- IPDPS 2004
Publications
Date
Featured collections
Popular topics
37 results for Shmuel Ur
Benchmark and framework for encouraging research on multi-threaded testing tools
- Klaus Havelund
- Scott D. Stoller
- et al.
- 2003
- IPDPS 2003
Concurrent bug patterns and how to test them
- Eitan Farchi
- Yarden Nir
- et al.
- 2003
- IPDPS 2003
Choosing among alternative pasts
- Marina Biberstein
- Eitan Farchi
- et al.
- 2003
- IPDPS 2003
Cross-fertilization between hardware verification and software testing
- Shmuel Ur
- Avi Ziv
- 2002
- SEAPP 2002
Multithreaded Java program test generation
- Orit Edelstein
- Eitan Farchi
- et al.
- 2001
- JGI 2001
Rigorous testing using SnapShot
- M. Factor
- Eitan Farchi
- et al.
- 1997
- Israel ICCSSE 1997
Forcing small models of conditions on program interleaving for detection of concurrent bugs
- Ehud Trainin
- Yarden Nir-Buchbinder
- et al.
- 2009
- ISSTA 2009
Detection of deadlock potentials in multithreaded programs
- R. Agarwal
- S. Bensalem
- et al.
- 2010
- IBM J. Res. Dev
Evaluating workloads using comparative functional coverage
- Yoram Adler
- Dale Blue
- et al.
- 2010
- International Journal on Software Tools for Technology Transfer