Detection of Transactional Memory anomalies using static analysis
- Bruno Teixeira
- João Lourenço
- et al.
- 2010
- PADTAD 2010
Publications
Date
Featured collections
Popular topics
51 results for Eitan Farchi
Forcing small models of conditions on program interleaving for detection of concurrent bugs
- Ehud Trainin
- Yarden Nir-Buchbinder
- et al.
- 2009
- ISSTA 2009
Automated substring hole analysis
- Yoram Adler
- Eitan Farchi
- et al.
- 2009
- ICSE 2009
Advanced code coverage analysis using substring holes
- Yoram Adler
- Eitan Farchi
- et al.
- 2009
- ISSTA 2009
6th Workshop on parallel and distributed systems: Testing, analysis, and debugging (PADTAD '08)
- Shmuel Ur
- Scott D. Stoller
- et al.
- 2008
- ISSTA 2008
Pitfalls in teaching development and testing of concurrent programs and how to overcome them
- Eitan Farchi
- 2007
- PADTAD 2007
Selective homeworkless review
- Eitan Farchi
- Shmeul Ur
- 2008
- ICST 2008
Cross-entropy based testing
- Hana Chockler
- Eitan Farchi
- et al.
- 2007
- FMCAD 2007
Producing scheduling that causes concurrent programs to fail
- Yosi Ben-Asher
- Yaniv Eytani
- et al.
- 2006
- PADTAD 2006
Formal verification of concurrent software: Two case studies
- Hana Chockler
- Eitan Farchi
- et al.
- 2006
- PADTAD 2006