Abstract is missing.
- Designing Programs to Check Their Work (Abstract)Manuel Blum. 1 [doi]
- Specifying Operational Profiles for ModulesDenise M. Woit. 2-10 [doi]
- Test Template Framework: A Specification-Based Testing Case StudyPhil Stocks, David A. Carrington. 11-18 [doi]
- Abstract Analysis with AspectDaniel Jackson. 19-27 [doi]
- Analyzing Refinements of State Based Specifications: The Case of TB NetsMiguel Felder, Carlo Ghezzi, Mauro Pezzè. 28-39 [doi]
- Metric-Driven Reengineering for Static Concurrency AnalysisDavid L. Levine, Richard N. Taylor. 40-50 [doi]
- Using State Space Reduction Methods for Deadlock Analysis in Ada TaskingSastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz. 51-60 [doi]
- Implementation-Based Analysis and Testing of Prolog ProgramsFevzi Belli, Oliver Jack. 70-80 [doi]
- Structured IV&V for the Space Shuttle Flight SoftwareRonald W. Modes. 81 [doi]
- Load Testing Software Using Deterministic State TestingAlberto Avritzer, Brian Larson. 82-88 [doi]
- Faults on Its Sleeve: Amplifying Software Reliability TestingRichard G. Hamlet, Jeffrey M. Voas. 89-98 [doi]
- STATEMATE Applied to Statistical Software TestingPascale Thévenod-Fosse, Hélène Waeselynck. 99-109 [doi]
- A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time SystemsJames C. Corbett, George S. Avrunin. 110-116 [doi]
- Analyzing Timing RequirementsJoanne M. Atlee, John D. Gannon. 117-127 [doi]
- The Composability of ASTRAL Realtime SpecificationsAlberto Coen-Porisini, Richard A. Kemmerer. 128-138 [doi]
- Mutation Analysis Using Mutant SchemataRoland H. Untch, A. Jefferson Offutt, Mary Jean Harrold. 139-148 [doi]
- Improved Serial Algorithms for Mutation AnalysisStewart N. Weiss, Vladimir N. Fleyshgakker. 149-158 [doi]
- Exploitation of Software Test Technology (Abstract)Edward F. Miller. 159 [doi]
- Efficient Construction of Program Dependence GraphsMary Jean Harrold, Brian A. Malloy, Gregg Rothermel. 160-170 [doi]
- Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-PropagationTarak Goradia. 171-181 [doi]
- An Information Flow Model of Fault DetectionMargaret C. Thompson, Debra J. Richardson, Lori A. Clarke. 182-192 [doi]