default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSTA 1993: Cambridge, MA, USA
- Thomas J. Ostrand, Elaine J. Weyuker:
Proceedings of the 1993 International Symposium on Software Testing and Analysis, ISSTA 1993, Cambridge, MA, USA, June 28-30, 1993. ACM 1993, ISBN 0-89791-608-5
Invited Presentation
- Manuel Blum:
Designing Programs to Check Their Work (Abstract). 1
Specification-based Testing and Analysis
- Denise M. Woit:
Specifying Operational Profiles for Modules. 2-10 - Phil Stocks, David A. Carrington:
Test Template Framework: A Specification-Based Testing Case Study. 11-18 - Daniel Jackson:
Abstract Analysis with Aspect. 19-27
Concurrency Analysis
- Miguel Felder, Carlo Ghezzi, Mauro Pezzè
:
Analyzing Refinements of State Based Specifications: The Case of TB Nets. 28-39 - David L. Levine, Richard N. Taylor:
Metric-Driven Reengineering for Static Concurrency Analysis. 40-50 - Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz:
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. 51-60
Environment Support for Testing
- Peter A. Vogel:
An Integrated General Purpose Automated Test Environment. 61-69 - Fevzi Belli, Oliver Jack:
Implementation-Based Analysis and Testing of Prolog Programs. 70-80
Invited Presentation
- Ronald W. Modes:
Structured IV&V for the Space Shuttle Flight Software. 81
Statistical Approaches to Testing
- Alberto Avritzer, Brian Larson:
Load Testing Software Using Deterministic State Testing. 82-88 - Richard G. Hamlet, Jeffrey M. Voas:
Faults on Its Sleeve: Amplifying Software Reliability Testing. 89-98 - Pascale Thévenod-Fosse, Hélène Waeselynck:
STATEMATE Applied to Statistical Software Testing. 99-109
Real-Time Analysis
- James C. Corbett, George S. Avrunin:
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. 110-116 - Joanne M. Atlee, John D. Gannon:
Analyzing Timing Requirements. 117-127 - Alberto Coen-Porisini, Richard A. Kemmerer:
The Composability of ASTRAL Realtime Specifications. 128-138
Mutation Testing
- Roland H. Untch, A. Jefferson Offutt, Mary Jean Harrold:
Mutation Analysis Using Mutant Schemata. 139-148 - Stewart N. Weiss, Vladimir N. Fleyshgakker:
Improved Serial Algorithms for Mutation Analysis. 149-158
Invited Presentation
- Edward F. Miller:
Exploitation of Software Test Technology (Abstract). 159
Dependency Analysis
- Mary Jean Harrold, Brian A. Malloy, Gregg Rothermel:
Efficient Construction of Program Dependence Graphs. 160-170 - Tarak Goradia:
Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation. 171-181 - Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke:
An Information Flow Model of Fault Detection. 182-192
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-12-02 21:36 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:
