Abstract is missing.
- Automatic Verification of Requirements ImplementationMarsha Chechik, John D. Gannon. 1-14 [doi]
- Aslantest: A Symbolic Execution Tool for Testing Aslan Formal SpecificationsJeffrey Douglas, Richard A. Kemmerer. 15-27 [doi]
- An Automated Tool for Analyzing Completeness of Equational SpecificationsDeepak Kapur. 28-43 [doi]
- Generating Test Suites for Software Load TestingAlberto Avritzer, Elaine J. Weyuker. 44-57 [doi]
- Generating a Test Oracle from Program Documentation (Work in Progress)Dennis K. Peters, David Lorge Parnas. 58-65 [doi]
- Forward Computation of Dynamic Program SlicesBogdan Korel, Satish Yalamanchili. 66-79 [doi]
- Applications of Feasible Path Analysis to Program TestingAllen Goldberg, Tie-Cheng Wang, David Zimmerman. 80-94 [doi]
- Test Data Generation and Feasible Path AnalysisRobert Jasper, Mike Brennan, Keith E. Williamson, Bill Currier, David Zimmerman. 95-107 [doi]
- Protocol Testing: Review of Methods and Relevance for Software TestingGregor von Bochmann, Alexandre Petrenko. 109-124 [doi]
- Visualization using TimelinesGerald M. Karam. 125-137 [doi]
- TAOS: Testing with Analysis and Oracle SupportDebra J. Richardson. 138-153 [doi]
- TOBAC: A Test Case Browser for Testing Object-Oriented SoftwareErnst Siepmann, A. Richard Newton. 154-168 [doi]
- Selecting Tests and Identifying Test Coverage Requirements for Modified SoftwareGregg Rothermel, Mary Jean Harrold. 169-184 [doi]
- Efficient Mutation Analysis: A New ApproachVladimir N. Fleyshgakker, Stewart N. Weiss. 185-195 [doi]
- Confidence Oriented Software Dependability Measurement (Abstract)William E. Howden, Yudong Huang. 196 [doi]
- The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract)Leo Marcus. 197 [doi]
- The All Program Functions Criterion for Revealing Computation Errors (Abstract)István Forgács. 198 [doi]
- Testing a Safety-Critical ApplicationJohn C. Knight, Aaron G. Cass, Antonio M. Fernández, Kevin G. Wika. 199 [doi]
- An Experimental Approach to Analyzing Software Semantics Using Error Flow Information (Abstract)Branson W. Murrill, Larry J. Morell. 200 [doi]
- Debugging Optimized Code Via Tailoring (Abstract)Lori L. Pollock, Mary P. Bivens, Mary Lou Soffa. 201 [doi]
- A Meaningful Bound for Branch Testing (Abstract)Antonia Bertolino, Martina Marré. 202 [doi]
- State-Space Analysis as an Aid to Testing (Abstract)Michal Young. 203 [doi]
- An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking ProgramsJames C. Corbett. 204-215 [doi]
- Testing Races in Parallel Programs with an OtOt StrategySuresh K. Damodaran-Kamal, Joan M. Francioni. 216-227 [doi]
- Analysis of Real-Time Programs with Simple Time Petri NetsUgo A. Buy, Robert H. Sloan. 228-239 [doi]
- Views on Software Testability (Panel Abstract)Timothy J. Shimeall, Michael Friedman, John Chilenski, Jeffrey M. Voas. 240 [doi]