Reports of the workshops of the 32nd AAAI conference on artificial intelligence
- Bruno Bouchard
- Kevin Bouchard
- et al.
- 2018
- AI Magazine
Paper
Publications
52 results for Eitan Farchi
A Randomized algorithm for constructing cross-feature tests from single feature tests
- Guy Barash
- Eitan Farchi
- 2017
- HLDVT 2017
Conference paperA Composition-Based Method for Combinatorial Test Design
- Anna Zamansky
- Amir Shwartz
- et al.
- 2017
- ICSTW 2017
Conference paperTowards a human-centred approach in modelling and testing of cyber-physical systems
- Maria Spichkova
- Anna Zamansky
- et al.
- 2015
- ICPADS 2015
Conference paperCombinatorial testing with order requirements
- Eitan Farchi
- Itai Segall
- et al.
- 2014
- ICSTW 2014
Conference paperUsing projections to debug large combinatorial models
- Eitan Farchi
- Itai Segall
- et al.
- 2013
- ICSTW 2013
Conference paperUsing program closures to make an application programming interface (API) implementation thread safe
- Eitan Farchi
- Itai Segall
- et al.
- 2012
- ISSTA 2012
Workshop paperPractical verification of high-level dataraces in transactional memory programs
- Vasco Pessanha
- Ricardo J. Dias
- et al.
- 2011
- PADTAD 2011
Conference paperUsing binary decision diagrams for combinatorial test design
- Itai Segall
- Rachel Tzoref-Brill
- et al.
- 2011
- ISSTA 2011
Conference paperDetection of deadlock potentials in multithreaded programs
- R. Agarwal
- S. Bensalem
- et al.
- 2010
- IBM J. Res. Dev
Paper