Using projections to debug large combinatorial models
- Eitan Farchi
- Itai Segall
- et al.
- 2013
- ICSTW 2013
Publications
Date
Featured collections
Popular topics
50 results for Eitan Farchi
Practical verification of high-level dataraces in transactional memory programs
- Vasco Pessanha
- Ricardo J. Dias
- et al.
- 2011
- PADTAD 2011
Using binary decision diagrams for combinatorial test design
- Itai Segall
- Rachel Tzoref-Brill
- et al.
- 2011
- ISSTA 2011
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
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