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
Volume 5, Number 2, April 1996
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
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
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
Volume 5, Number 4, October 1996
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
Copyright ©
Sun May 17 00:30:25 2009 by
Michael Ley
(
ley@uni-trier.de
)