ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 17

Volume 17, Number 1, December 2007

• David Notkin:
  Editorial.
  Electronic Edition (ACM DL) BibTeX
• Timothy M. Meyers, David Binkley:
  An empirical study of slice-based cohesion and coupling metrics.
  Electronic Edition (ACM DL) BibTeX
• Marius Marin, Arie van Deursen, Leon Moonen:
  Identifying Crosscutting Concerns Using Fan-In Analysis.
  Electronic Edition (ACM DL) BibTeX
• Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre:
  Efficient Analysis of DynAlloy Specifications.
  Electronic Edition (ACM DL) BibTeX

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