Detection of deadlock potentials in multithreaded programs
- R. Agarwal
- S. Bensalem
- et al.
- 2010
- IBM J. Res. Dev
Publications
53 results for Eitan Farchi
Unit testing for concurrent business code
- Yao Qi
- Yarden Nir-Buchbinder
- et al.
- 2010
- PADTAD 2010
Detection of Transactional Memory anomalies using static analysis
- Bruno Teixeira
- João Lourenço
- et al.
- 2010
- PADTAD 2010
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