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

Specification-based Testing and Analysis

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

Concurrency Analysis

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

Environment Support for Testing

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

Invited Presentation

Ronald W. Modes:
Structured IV&V for the Space Shuttle Flight Software. 81

Statistical Approaches to Testing

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

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
Joanne M. Atlee, John D. Gannon:
Analyzing Timing Requirements. 117-127
Alberto Coen-Porisini, Richard A. Kemmerer:
The Composability of ASTRAL Realtime Specifications. 128-138

Mutation Testing

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

Invited Presentation

Edward F. Miller:
Exploitation of Software Test Technology (Abstract). 159

Dependency Analysis

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

Last update Fri May 25 08:24:24 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page