Applications of synchronization coverage
- Arkady Bron
- Eitan Farchi
- et al.
- 2005
- PROPP 2005
Publications
Date
Featured collections
Popular topics
37 results for Shmuel Ur
Multi-threaded testing with AOP is easy, and it finds bugs!
- Shady Copty
- Shmuel Ur
- 2005
- Euro-Par 2005
Compiling a benchmark of documented multi-threaded bugs
- Yaniv Eytani
- Shmuel Ur
- 2004
- IPDPS 2004
Fidgeting to the point of no return
- Marina Biberstein
- Eitan Farchi
- et al.
- 2004
- IPDPS 2004
Probabilistic regression suites for functional verification
- Shai Fine
- Shmuel Ur
- et al.
- 2004
- DAC 2004
Choosing among alternative pasts
- Marina Biberstein
- Eitan Farchi
- et al.
- 2003
- IPDPS 2003
Concurrent bug patterns and how to test them
- Eitan Farchi
- Yarden Nir
- et al.
- 2003
- IPDPS 2003
Benchmark and framework for encouraging research on multi-threaded testing tools
- Klaus Havelund
- Scott D. Stoller
- et al.
- 2003
- IPDPS 2003
Framework for testing multi-threaded Java programs
- Orit Edelstein
- Eitan Farchi
- et al.
- 2003
- CCPE
Cross-fertilization between hardware verification and software testing
- Shmuel Ur
- Avi Ziv
- 2002
- SEAPP 2002