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
Electronic Edition (ACM DL) BibTeX
Premkumar T. Devanbu, David S. Rosenblum, Alexander L. Wolf:
Generating Testing and Analysis Tools with Aria. 42-62
Electronic Edition (ACM DL) BibTeX
Roger Ferguson, Bogdan Korel:
The Chaining Approach for Software Test Data Generation. 63-86
Electronic Edition (ACM DL) BibTeX

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

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

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