ISSTA 1994: Seattle, WA, USA

Thomas J. Ostrand (Ed.): Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA), August 17-19, 1994, Seattle, WA, USA. Software Engineering Notes, Special Issue, 1994

Specification-based Testing and Analysis

Marsha Chechik, John D. Gannon:
Automatic Verification of Requirements Implementation. 1-14
Electronic Edition (ACM DL) BibTeX
Jeffrey Douglas, Richard A. Kemmerer:
Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. 15-27
Electronic Edition (ACM DL) BibTeX
Deepak Kapur:
An Automated Tool for Analyzing Completeness of Equational Specifications. 28-43
Electronic Edition (ACM DL) BibTeX

Test Generation

Alberto Avritzer, Elaine J. Weyuker:
Generating Test Suites for Software Load Testing. 44-57
Electronic Edition (ACM DL) BibTeX
Dennis K. Peters, David Lorge Parnas:
Generating a Test Oracle from Program Documentation (Work in Progress). 58-65
Electronic Edition (ACM DL) BibTeX

Path Analysis and Slicing

Bogdan Korel, Satish Yalamanchili:
Forward Computation of Dynamic Program Slices. 66-79
Electronic Edition (ACM DL) BibTeX
Allen Goldberg, Tie-Cheng Wang, David Zimmerman:
Applications of Feasible Path Analysis to Program Testing. 80-94
Electronic Edition (ACM DL) BibTeX
Robert Jasper, Mike Brennan, Keith E. Williamson, Bill Currier, David Zimmerman:
Test Data Generation and Feasible Path Analysis. 95-107
Electronic Edition (ACM DL) BibTeX

Panel: Empirical Techniques for Assessing Testing Strategies

Invited Paper

Gregor von Bochmann, Alexandre Petrenko:
Protocol Testing: Review of Methods and Relevance for Software Testing. 109-124
Electronic Edition (ACM DL) BibTeX

Tools

Gerald M. Karam:
Visualization using Timelines. 125-137
Electronic Edition (ACM DL) BibTeX
Debra J. Richardson:
TAOS: Testing with Analysis and Oracle Support. 138-153
Electronic Edition (ACM DL) BibTeX
Ernst Siepmann, A. Richard Newton:
TOBAC: A Test Case Browser for Testing Object-Oriented Software. 154-168
Electronic Edition (ACM DL) BibTeX

Test Coverage Techniques

Gregg Rothermel, Mary Jean Harrold:
Selecting Tests and Identifying Test Coverage Requirements for Modified Software. 169-184
Electronic Edition (ACM DL) BibTeX
Vladimir N. Fleyshgakker, Stewart N. Weiss:
Efficient Mutation Analysis: A New Approach. 185-195
Electronic Edition (ACM DL) BibTeX

Workshop Session 1

William E. Howden, Yudong Huang:
Confidence Oriented Software Dependability Measurement (Abstract). 196
Electronic Edition (ACM DL) BibTeX
Leo Marcus:
The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract). 197
Electronic Edition (ACM DL) BibTeX
István Forgács:
The All Program Functions Criterion for Revealing Computation Errors (Abstract). 198
Electronic Edition (ACM DL) BibTeX
John C. Knight, Aaron G. Cass, Antonio M. Fernández, Kevin G. Wika:
Testing a Safety-Critical Application. 199
Electronic Edition (ACM DL) BibTeX

Workshop Session 2

Branson W. Murrill, Larry J. Morell:
An Experimental Approach to Analyzing Software Semantics Using Error Flow Information (Abstract). 200
Electronic Edition (ACM DL) BibTeX
Lori L. Pollock, Mary P. Bivens, Mary Lou Soffa:
Debugging Optimized Code Via Tailoring (Abstract). 201
Electronic Edition (ACM DL) BibTeX
Antonia Bertolino, Martina Marré:
A Meaningful Bound for Branch Testing (Abstract). 202
Electronic Edition (ACM DL) BibTeX
Michal Young:
State-Space Analysis as an Aid to Testing (Abstract). 203
Electronic Edition (ACM DL) BibTeX

Concurrent and Real-Time Software

James C. Corbett:
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. 204-215
Electronic Edition (ACM DL) BibTeX
Suresh K. Damodaran-Kamal, Joan M. Francioni:
Testing Races in Parallel Programs with an OtOt Strategy. 216-227
Electronic Edition (ACM DL) BibTeX
Ugo A. Buy, Robert H. Sloan:
Analysis of Real-Time Programs with Simple Time Petri Nets. 228-239
Electronic Edition (ACM DL) BibTeX

Panel

Timothy J. Shimeall, Michael Friedman, John Chilenski, Jeffrey M. Voas:
Views on Software Testability (Panel Abstract). 240
Electronic Edition (ACM DL) BibTeX