Stop the war!Остановите войну!
for scientists:
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
a service of 
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 2023-06-01 23:51 CEST 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:
