ISSTA 1993: Cambridge, MA, USA

ISSTA '93, Proceedings of the 1993 International Symposium on Software Testing and Analysis, June 28-30, 1993, Cambridge, MA, USA. Software Engineering Notes 18(3), July 1993

Invited Presentation

Manuel Blum:
Designing Programs to Check Their Work (Abstract). 1
Electronic Edition (ACM DL) BibTeX

Specification-based Testing and Analysis

Denise M. Woit:
Specifying Operational Profiles for Modules. 2-10
Electronic Edition (ACM DL) BibTeX
Phil Stocks, David A. Carrington:
Test Template Framework: A Specification-Based Testing Case Study. 11-18
Electronic Edition (ACM DL) BibTeX
Daniel Jackson:
Abstract Analysis with Aspect. 19-27
Electronic Edition (ACM DL) BibTeX

Concurrency Analysis

Miguel Felder, Carlo Ghezzi, Mauro Pezzè:
Analyzing Refinements of State Based Specifications: The Case of TB Nets. 28-39
Electronic Edition (ACM DL) BibTeX
David L. Levine, Richard N. Taylor:
Metric-Driven Reengineering for Static Concurrency Analysis. 40-50
Electronic Edition (ACM DL) BibTeX
Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz:
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. 51-60
Electronic Edition (ACM DL) BibTeX

Environment Support for Testing

Peter A. Vogel:
An Integrated General Purpose Automated Test Environment. 61-69
Electronic Edition (ACM DL) BibTeX
Fevzi Belli, Oliver Jack:
Implementation-Based Analysis and Testing of Prolog Programs. 70-80
Electronic Edition (ACM DL) BibTeX

Invited Presentation

Ronald W. Modes:
Structured IV&V for the Space Shuttle Flight Software. 81
Electronic Edition (ACM DL) BibTeX

Statistical Approaches to Testing

Alberto Avritzer, Brian Larson:
Load Testing Software Using Deterministic State Testing. 82-88
Electronic Edition (ACM DL) BibTeX
Richard G. Hamlet, Jeffrey M. Voas:
Faults on Its Sleeve: Amplifying Software Reliability Testing. 89-98
Electronic Edition (ACM DL) BibTeX
Pascale Thévenod-Fosse, Hélène Waeselynck:
STATEMATE Applied to Statistical Software Testing. 99-109
Electronic Edition (ACM DL) BibTeX

Real-Time Analysis

James C. Corbett, George S. Avrunin:
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. 110-116
Electronic Edition (ACM DL) BibTeX
Joanne M. Atlee, John D. Gannon:
Analyzing Timing Requirements. 117-127
Electronic Edition (ACM DL) BibTeX
Alberto Coen-Porisini, Richard A. Kemmerer:
The Composability of ASTRAL Realtime Specifications. 128-138
Electronic Edition (ACM DL) BibTeX

Mutation Testing

Roland H. Untch, A. Jefferson Offutt, Mary Jean Harrold:
Mutation Analysis Using Mutant Schemata. 139-148
Electronic Edition (ACM DL) BibTeX
Stewart N. Weiss, Vladimir N. Fleyshgakker:
Improved Serial Algorithms for Mutation Analysis. 149-158
Electronic Edition (ACM DL) BibTeX

Invited Presentation

Edward F. Miller:
Exploitation of Software Test Technology (Abstract). 159
Electronic Edition (ACM DL) BibTeX

Dependency Analysis

Mary Jean Harrold, Brian A. Malloy, Gregg Rothermel:
Efficient Construction of Program Dependence Graphs. 160-170
Electronic Edition (ACM DL) BibTeX
Tarak Goradia:
Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation. 171-181
Electronic Edition (ACM DL) BibTeX
Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke:
An Information Flow Model of Fault Detection. 182-192
Electronic Edition (ACM DL) BibTeX