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

Volume 17, Number 1, December 2007

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

Volume 17, Number 2, April 2008

• David Notkin:
  Editorial.
  
• David Notkin, Mauro Pezzè:
  Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006).
  
• Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke:
  Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.
  
• Christoph Csallner, Yannis Smaragdakis, Tao Xie:
  DSD-Crasher: A hybrid analysis tool for bug finding.
  
• Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay:
  Effective typestate verification in the presence of aliasing.
  
• Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke:
  Combining symbolic execution with model checking to verify parallel numerical programs.
  
• Amrit Tiwana:
  Impact of classes of development coordination tools on software development performance: A multinational empirical study.
  

Volume 17, Number 3, June 2008

• David Notkin:
  Editorial.
  
• Parastoo Mohagheghi, Reidar Conradi:
  An empirical investigation of software reuse benefits in a large telecom product.
  
• Johannes Henkel, Christoph Reichenbach, Amer Diwan:
  Developing and debugging algebraic specifications for Java classes.
  
• Çigdem Gencel, Onur Demirörs:
  Functional size measurement revisited.
  
• Tsong Yueh Chen, Robert G. Merkel:
  An upper bound on software testing effectiveness.
  

Volume 17, Number 4, August 2007

• Pankaj Jalote, Brendan Murphy, Vibhu Saujanya Sharma:
  Post-release reliability growth in software products.
  
• Martin P. Robillard:
  Topology analysis of software dependencies.
  
• Wolfgang Emmerich, Mikio Aoyama, Joe Sventek:
  The impact of research on the development of middleware technology.
  
• Tanja M. Gruschke, Magne Jørgensen:
  The role of outcome feedback in improving the uncertainty assessment of software development effort estimates.