Using binary decision diagrams for combinatorial test design
- Itai Segall
- Rachel Tzoref-Brill
- et al.
- 2011
- ISSTA 2011
Publications
Date
Featured collections
Popular topics
26 results for Rachel Brill
Automatic debugging of concurrent programs through active sampling of low dimensional random projections
- Elad Yom-Tov
- Rachel Tzoref
- et al.
- 2008
- ASE 2008
Experience with a concurrency bugs benchmark
- Yaniv Eytani
- Rachel Tzoref
- et al.
- 2008
- ICSTW 2008
Healing data races on-the-fly
- Bohuslav Krena
- Zdenek Letko
- et al.
- 2007
- ISSTA 2007
TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage
- 2022
- ICST 2022
Forcing small models of conditions on program interleaving for detection of concurrent bugs
- Ehud Trainin
- Yarden Nir-Buchbinder
- et al.
- 2009
- ISSTA 2009