A Randomized algorithm for constructing cross-feature tests from single feature tests
- Guy Barash
- Eitan Farchi
- 2017
- HLDVT 2017
Publications
Date
Featured collections
Popular topics
51 results for Eitan Farchi
A Composition-Based Method for Combinatorial Test Design
- Anna Zamansky
- Amir Shwartz
- et al.
- 2017
- ICSTW 2017
Towards a human-centred approach in modelling and testing of cyber-physical systems
- Maria Spichkova
- Anna Zamansky
- et al.
- 2015
- ICPADS 2015
Combinatorial testing with order requirements
- Eitan Farchi
- Itai Segall
- et al.
- 2014
- ICSTW 2014
Using projections to debug large combinatorial models
- Eitan Farchi
- Itai Segall
- et al.
- 2013
- ICSTW 2013
Using program closures to make an application programming interface (API) implementation thread safe
- Eitan Farchi
- Itai Segall
- et al.
- 2012
- ISSTA 2012
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
Detection of deadlock potentials in multithreaded programs
- R. Agarwal
- S. Bensalem
- et al.
- 2010
- IBM J. Res. Dev
Detection of Transactional Memory anomalies using static analysis
- Bruno Teixeira
- João Lourenço
- et al.
- 2010
- PADTAD 2010