Publications

8 results at ESEC/FSE 2007

Finding bugs efficiently with a SAT solver
- - Julian Dolby
  - Mandana Vaziri
  - et al.
- 2007
- ESEC/FSE 2007
Domain specific approaches to software test automation
- - Alan Hartman
  - Mika Katara
  - 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
Can self-healing software cope with loitering?
- - Maayan Goldstein
  - Onn Shehory
  - 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