![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
ISSTA 1994: Seattle, WA, USA
- Thomas J. Ostrand:
Proceedings of the 1994 International Symposium on Software Testing and Analysis, ISSTA 1994, Seattle, WA, USA, August 17-19, 1994. ACM 1994, ISBN 0-89791-683-2
Specification-based Testing and Analysis
- Marsha Chechik, John D. Gannon:
Automatic Verification of Requirements Implementation. 1-14 - Jeffrey Douglas, Richard A. Kemmerer:
Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. 15-27 - Deepak Kapur:
An Automated Tool for Analyzing Completeness of Equational Specifications. 28-43
Test Generation
- Alberto Avritzer, Elaine J. Weyuker:
Generating Test Suites for Software Load Testing. 44-57 - Dennis K. Peters
, David Lorge Parnas:
Generating a Test Oracle from Program Documentation (Work in Progress). 58-65
Path Analysis and Slicing
- Bogdan Korel, Satish Yalamanchili:
Forward Computation of Dynamic Program Slices. 66-79 - Allen Goldberg, Tie-Cheng Wang, David Zimmerman:
Applications of Feasible Path Analysis to Program Testing. 80-94 - Robert Jasper, Mike Brennan, Keith E. Williamson, Bill Currier, David Zimmerman:
Test Data Generation and Feasible Path Analysis. 95-107
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
Tools
- Gerald M. Karam:
Visualization using Timelines. 125-137 - Debra J. Richardson:
TAOS: Testing with Analysis and Oracle Support. 138-153 - Ernst Siepmann, A. Richard Newton:
TOBAC: A Test Case Browser for Testing Object-Oriented Software. 154-168
Test Coverage Techniques
- Gregg Rothermel, Mary Jean Harrold:
Selecting Tests and Identifying Test Coverage Requirements for Modified Software. 169-184 - Vladimir N. Fleyshgakker, Stewart N. Weiss:
Efficient Mutation Analysis: A New Approach. 185-195
Workshop Session 1
- William E. Howden, Yudong Huang:
Confidence Oriented Software Dependability Measurement (Abstract). 196 - Leo Marcus:
The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract). 197 - István Forgács:
The All Program Functions Criterion for Revealing Computation Errors (Abstract). 198 - John C. Knight, Aaron G. Cass, Antonio M. Fernández, Kevin G. Wika:
Testing a Safety-Critical Application. 199
Workshop Session 2
- Branson W. Murrill, Larry J. Morell:
An Experimental Approach to Analyzing Software Semantics Using Error Flow Information (Abstract). 200 - Lori L. Pollock, Mary P. Bivens, Mary Lou Soffa:
Debugging Optimized Code Via Tailoring (Abstract). 201 - Antonia Bertolino
, Martina Marré:
A Meaningful Bound for Branch Testing (Abstract). 202 - Michal Young:
State-Space Analysis as an Aid to Testing (Abstract). 203
Concurrent and Real-Time Software
- James C. Corbett:
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. 204-215 - Suresh K. Damodaran-Kamal, Joan M. Francioni:
Testing Races in Parallel Programs with an OtOt Strategy. 216-227 - Ugo A. Buy, Robert H. Sloan:
Analysis of Real-Time Programs with Simple Time Petri Nets. 228-239
Panel
- Timothy J. Shimeall, Michael Friedman, John Chilenski, Jeffrey M. Voas:
Views on Software Testability (Panel Abstract). 240
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.