Finding bugs efficiently with a SAT solver
- Julian Dolby
- Mandana Vaziri
- et al.
- 2007
- ESEC/FSE 2007
Conference paper
Publications
8 results at ESEC/FSE 2007
Domain specific approaches to software test automation
- Alan Hartman
- Mika Katara
- et al.
- 2007
- ESEC/FSE 2007
Conference paperConTest listeners: A concurrency-oriented infrastructure for Java test and heal tools
- Yarden Nir-Buchbinder
- Shmuel Ur
- 2007
- ESEC/FSE 2007
Conference paperDomain specific approaches to software test automation
- Alan Hartman
- Mika Katara
- et al.
- 2007
- ESEC/FSE 2007
Conference paperSOQUA 2007 4th international workshop on software quality assurance
- Giovanni Denaro
- Mauro Pezzè
- et al.
- 2007
- ESEC/FSE 2007
Conference paperCan self-healing software cope with loitering?
- Maayan Goldstein
- Onn Shehory
- et al.
- 2007
- ESEC/FSE 2007
Conference paperSOQUA 2007: 4th international workshop on software quality assurance
- Giovanni Denaro
- Mauro Pezzè
- et al.
- 2007
- ESEC/FSE 2007
Conference paperEngineering mobile field worker applications
- Pietro Mazzoleni
- Stefan Tai
- 2007
- ESEC/FSE 2007
Workshop paper