ISSTA 1996: San Diego, CA, USA

Steven J. Zeil (Ed.): Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA), January 8-10, 1996, San Diego, CA, USA. Software Engineering Notes 21(3), May 1996

Keynote Address

Will Tracz:
Test and Analysis of Software Architectures. 1-3
Electronic Edition (ACM DL) BibTeX

Concurrent and Real-Time

Inhye Kang, Insup Lee:
An Efficient State Space Generation for Analysis of Real-Time Systems. 4-13
Electronic Edition (ACM DL) BibTeX
Pramod V. Koppol, Kuo-Chung Tai:
An Incremental Approach to Structural Testing of Concurrent Software. 14-23
Electronic Edition (ACM DL) BibTeX
A. T. Chamillard, Lori A. Clarke:
Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. 24-38
Electronic Edition (ACM DL) BibTeX

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
Electronic Edition (ACM DL) BibTeX
Merlin Hughes, P. David Stotts:
Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects. 53-61
Electronic Edition (ACM DL) BibTeX
Juei Chang, Debra J. Richardson, Sriram Sankar:
Structural Specification-Based Testing with ADL. 62-70
Electronic Edition (ACM DL) BibTeX

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
Electronic Edition (ACM DL) BibTeX
Mats Per Erik Heimdahl:
Experiences and Lessons from the Analysis of TCAS II. 79-83
Electronic Edition (ACM DL) BibTeX
Richard G. Hamlet:
Predicting Dependability by Testing. 84-91
Electronic Edition (ACM DL) BibTeX
Larry J. Morell, Branson W. Murrill:
Using Perturbation Analysis to Measure Variation in the Information Content of Test Sets. 92-97
Electronic Edition (ACM DL) BibTeX

Analysis

William E. Howden, G. M. Shi:
Linear and Structural Event Sequence Analysis. 98-106
Electronic Edition (ACM DL) BibTeX
Mary Jean Harrold, Gregg Rothermel: Separate Computation of Alias Information for Reuse. 107-120 BibTeX
Richard A. DeMillo, Hsin Pan, Eugene H. Spafford:
Critical Slicing for Software Fault Localization. 121-134
Electronic Edition (ACM DL) BibTeX

Implementation-Based Testing

Delia I. S. Marx, Phyllis G. Frankl:
The Path-Wise Approach to Data Flow Testing with Pointer Variables. 135-146
Electronic Edition (ACM DL) BibTeX
Martina Marré, Antonia Bertolino:
Unconstrained Duals and Their Use in Achieving All-Uses Coverage. 147-157
Electronic Edition (ACM DL) BibTeX
Murial Daran, Pascale Thévenod-Fosse:
Software Error Analysis: A Real Case Study Involving Real Faults and Mutations. 158-171
Electronic Edition (ACM DL) BibTeX

Workshop Session 2

Mauro Pezzè, Michal Young:
Generation of Multi-Formalism State-Space Analysis Tools. 172-179
Electronic Edition (ACM DL) BibTeX
Anthony M. Sloane, Jason Holdsworth:
Beyond Traditional Program Slicing. 180-186
Electronic Edition (ACM DL) BibTeX
John R. Callahan, Todd L. Montgomery:
An Approach to Verification and Validation of a Reliable Multicasting Protocol. 187-194
Electronic Edition (ACM DL) BibTeX
A. Jefferson Offutt, Jane Huffman Hayes:
A Semantic Model of Program Faults. 195-200
Electronic Edition (ACM DL) BibTeX

Workshop Session 3

Cheer-Sun D. Yang, Lori L. Pollock:
Towards a Structural Load Testing Tool. 201-208
Electronic Edition (ACM DL) BibTeX
Bogdan Korel:
Automated Test Data Generation for Programs with Procedures. 209-215
Electronic Edition (ACM DL) BibTeX
Keith P. Pomakis, Joanne M. Atlee:
Reachability Analysis of Feature Interactions: A Progress Report. 216-223
Electronic Edition (ACM DL) BibTeX

Modelling

Tevfik Bultan, Jeffrey Fischer, Richard Gerber:
Compositional Verification by Model Checking for Counter-Examples. 224-238
Electronic Edition (ACM DL) BibTeX
Daniel Jackson, Craig Damon:
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. 239-249
Electronic Edition (ACM DL) BibTeX
James C. Corbett:
Constructing Abstract Models of Concurrent Real-Time Software. 250-260
Electronic Edition (ACM DL) BibTeX

Verification and Validation

Patrice Godefroid, Doron Peled, Mark G. Staskauskas:
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. 261-269
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
Joanne M. Atlee, Michael A. Buckley:
A Logic-Model Semantics for SCR Software Requirements. 280-292
Electronic Edition (ACM DL) BibTeX

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
Electronic Edition (ACM DL) BibTeX