Reports of the workshops held at the 2019 aaai conference on artificial intelligence
- Guy Barash
- Mauricio Castillo-Effen
- et al.
- 2019
- AI Magazine
Publications
53 results for Eitan Farchi
Reports of the workshops of the 32nd AAAI conference on artificial intelligence
- Bruno Bouchard
- Kevin Bouchard
- et al.
- 2018
- AI Magazine
A Randomized algorithm for constructing cross-feature tests from single feature tests
- Guy Barash
- Eitan Farchi
- 2017
- HLDVT 2017
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