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 updated on Tue May 21 03:33:28 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page