Volume 17,
Number 1,
December 2007
Volume 17,
Number 2,
April 2008
- David Notkin:
Editorial.
Electronic Edition (ACM DL) BibTeX
- David Notkin, Mauro Pezzè:
Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006).
Electronic Edition (ACM DL) BibTeX
- Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke:
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.
Electronic Edition (ACM DL) BibTeX
- Christoph Csallner, Yannis Smaragdakis, Tao Xie:
DSD-Crasher: A hybrid analysis tool for bug finding.
Electronic Edition (ACM DL) BibTeX
- Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay:
Effective typestate verification in the presence of aliasing.
Electronic Edition (ACM DL) BibTeX
- Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke:
Combining symbolic execution with model checking to verify parallel numerical programs.
Electronic Edition (ACM DL) BibTeX
- Amrit Tiwana:
Impact of classes of development coordination tools on software development performance: A multinational empirical study.
Electronic Edition (ACM DL) BibTeX
Volume 17,
Number 3,
June 2008
Volume 17,
Number 4,
August 2007
Copyright © Sun May 17 00:30:27 2009
by Michael Ley (ley@uni-trier.de)