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

Volume 16, Number 1, February 2007

• David Notkin:
  Editorial.
  
• Carlo Ghezzi:
  Editorial.
  
• Martin P. Robillard, Gail C. Murphy:
  Representing concerns in source code.
  
• Qing Xie, Atif M. Memon:
  Designing and comparing automated test oracles for GUI-based software applications.
  
• Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
  A formal model of services.
  

Volume 16, Number 2, April 2007

• David Notkin:
  Editorial.
  
• Shriram Krishnamurthi, Kathi Fisler:
  Foundations of incremental aspect model-checking.
  
• David Binkley, Nicolas Gold, Mark Harman:
  An empirical study of static program slice size.
  
• Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
  Polychronous design of embedded real-time applications.
  

Volume 16, Number 3, July 2007

• Kalpesh Kapoor, Jonathan P. Bowen:
  Test conditions for fault classes in Boolean specifications.
  
• Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff:
  Metamodel-based model conformance and multiview consistency checking.
  
• Samik Basu, Scott A. Smolka:
  Model checking the Java metalocking algorithm.
  

Volume 16, Number 4, September 2007

• Andrea De Lucia, Fausto Fasano, Rocco Oliveto, Genoveffa Tortora:
  Recovering traceability links in software artifact management systems using information retrieval methods.
  
• Gary Wassermann, Carl Gould, Zhendong Su, Premkumar T. Devanbu:
  Static checking of dynamically generated queries in database applications.
  
• Luciano Baresi, Sandro Morasca:
  Three empirical studies on estimating the design effort of Web applications.
  

Last update Sat May 25 17:02:33 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page