default search action
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.