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