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

Volume 5, Number 1, January 1996

• Mark van den Brand, Eelco Visser:
  Generation of Formatters for Context-Free Languages. 1-41
  
• Premkumar T. Devanbu, David S. Rosenblum, Alexander L. Wolf:
  Generating Testing and Analysis Tools with Aria. 42-62
  
• Roger Ferguson, Bogdan Korel:
  The Chaining Approach for Software Test Data Generation. 63-86
  

Volume 5, Number 2, April 1996

• Elaine J. Weyuker:
  Using Failure Cost Information for Testing and Reliability Assessment. 87-98
  
• A. Jefferson Offutt, Ammei Lee, Gregg Rothermel, Roland H. Untch, Christian Zapf:
  An Experimental Determination of Sufficient Mutant Operators. 99-118
  
• Francesco Bergadano, Daniele Gunetti:
  Testing by Means of Inductive Program Learning. 119-145
  
• Gregor Snelting:
  Reengineering of Configurations Based on Mathematical Concept Analysis. 146-189
  

Volume 5, Number 3, July 1996

• Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta, Carlo Ghezzi:
  A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems. 191-230
  
• Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw:
  Automated Consistency Checking of Requirements Specifications. 231-261
  
• Gail C. Murphy, David Notkin:
  Lightweight Lexical Source Model Extraction. 262-292
  

Volume 5, Number 4, October 1996

• David Harel, Amnon Naamad:
  The STATEMATE Semantics of Statecharts. 293-333
  
• Shing-Chi Cheung, Jeff Kramer:
  Context Constraints for Compositional Reachability Analysis. 334-377
  
• Daniel J. Barrett, Lori A. Clarke, Peri L. Tarr, Alexander E. Wise:
  A Framework for Event-Based Software Integration. 378-421
  

Last update Fri May 25 09:48:11 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page