default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSTA 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
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.
last updated on 2024-11-20 21:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
