default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSTA 1996: San Diego, CA, USA
- Steve J. Zeil, Will Tracz:
Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996. ACM 1996, ISBN 0-89791-787-1
Keynote Address
- Will Tracz:
Test and Analysis of Software Architectures. 1-3
Concurrent and Real-Time
- Inhye Kang, Insup Lee:
An Efficient State Space Generation for Analysis of Real-Time Systems. 4-13 - Pramod V. Koppol, Kuo-Chung Tai:
An Incremental Approach to Structural Testing of Concurrent Software. 14-23 - A. T. Chamillard, Lori A. Clarke:
Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. 24-38
Specification-Based Testing
- Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro:
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. 39-52 - Merlin Hughes, P. David Stotts:
Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects. 53-61 - Juei Chang, Debra J. Richardson, Sriram Sankar:
Structural Specification-Based Testing with ADL. 62-70
Workshop Session 1
- James L. Crowley, James F. Leathrum, K. A. Liburdy:
Issues in the Full Scale Use of Formal Methods for Automated Testing. 71-78 - Mats Per Erik Heimdahl:
Experiences and Lessons from the Analysis of TCAS II. 79-83 - Richard G. Hamlet:
Predicting Dependability by Testing. 84-91 - Larry J. Morell, Branson W. Murrill:
Using Perturbation Analysis to Measure Variation in the Information Content of Test Sets. 92-97
Analysis
- William E. Howden, G. M. Shi:
Linear and Structural Event Sequence Analysis. 98-106 - Mary Jean Harrold, Gregg Rothermel:
Separate Computation of Alias Information for Reuse. ISSTA 1996: 107-120 - Richard A. DeMillo, Hsin Pan, Eugene H. Spafford:
Critical Slicing for Software Fault Localization. 121-134
Implementation-Based Testing
- Delia I. S. Marx, Phyllis G. Frankl:
The Path-Wise Approach to Data Flow Testing with Pointer Variables. 135-146 - Martina Marré, Antonia Bertolino
:
Unconstrained Duals and Their Use in Achieving All-Uses Coverage. 147-157 - Muriel Daran, Pascale Thévenod-Fosse:
Software Error Analysis: A Real Case Study Involving Real Faults and Mutations. 158-171
Workshop Session 2
- Mauro Pezzè, Michal Young:
Generation of Multi-Formalism State-Space Analysis Tools. 172-179 - Anthony M. Sloane, Jason Holdsworth:
Beyond Traditional Program Slicing. 180-186 - John R. Callahan, Todd L. Montgomery:
An Approach to Verification and Validation of a Reliable Multicasting Protocol. 187-194 - A. Jefferson Offutt, Jane Huffman Hayes:
A Semantic Model of Program Faults. 195-200
Workshop Session 3
- Cheer-Sun D. Yang, Lori L. Pollock:
Towards a Structural Load Testing Tool. 201-208 - Bogdan Korel:
Automated Test Data Generation for Programs with Procedures. 209-215 - Keith P. Pomakis, Joanne M. Atlee:
Reachability Analysis of Feature Interactions: A Progress Report. 216-223
Modelling
- Tevfik Bultan, Jeffrey Fischer, Richard Gerber:
Compositional Verification by Model Checking for Counter-Examples. 224-238 - Daniel Jackson, Craig Damon:
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. 239-249 - James C. Corbett:
Constructing Abstract Models of Concurrent Real-Time Software. 250-260
Verification and Validation
- Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas:
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. 261-269 - Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour:
Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. 270-279 - Joanne M. Atlee, Michael A. Buckley:
A Logic-Model Semantics for SCR Software Requirements. 280-292
Panel
- Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia:
Why State-of-the-Art is not State-of-the-Practice (Panel Abstract). 293
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 2025-02-05 20:18 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:
