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