Detection of Transactional Memory anomalies using static analysis
- Bruno Teixeira
- João Lourenço
- et al.
- 2010
- PADTAD 2010
Conference paper
Publications
52 results for Eitan Farchi
Unit testing for concurrent business code
- Yao Qi
- Yarden Nir-Buchbinder
- et al.
- 2010
- PADTAD 2010
Conference paperForcing small models of conditions on program interleaving for detection of concurrent bugs
- Ehud Trainin
- Yarden Nir-Buchbinder
- et al.
- 2009
- ISSTA 2009
Workshop paperAutomated substring hole analysis
- Yoram Adler
- Eitan Farchi
- et al.
- 2009
- ICSE 2009
Conference paperAdvanced code coverage analysis using substring holes
- Yoram Adler
- Eitan Farchi
- et al.
- 2009
- ISSTA 2009
Conference paper6th Workshop on parallel and distributed systems: Testing, analysis, and debugging (PADTAD '08)
- Shmuel Ur
- Scott D. Stoller
- et al.
- 2008
- ISSTA 2008
Conference paperPitfalls in teaching development and testing of concurrent programs and how to overcome them
- Eitan Farchi
- 2007
- PADTAD 2007
Conference paperSelective homeworkless review
- Eitan Farchi
- Shmeul Ur
- 2008
- ICST 2008
Conference paperCross-entropy based testing
- Hana Chockler
- Eitan Farchi
- et al.
- 2007
- FMCAD 2007
Conference paperFormal verification of concurrent software: Two case studies
- Hana Chockler
- Eitan Farchi
- et al.
- 2006
- PADTAD 2006
Conference paper