Abstract is missing.
- Test and Analysis of Software ArchitecturesWill Tracz. 1-3 [doi]
- An Efficient State Space Generation for Analysis of Real-Time SystemsInhye Kang, Insup Lee. 4-13 [doi]
- An Incremental Approach to Structural Testing of Concurrent SoftwarePramod V. Koppol, Kuo-Chung Tai. 14-23 [doi]
- Improving the Accuracy of Petri Net-Based Analysis of Concurrent ProgramsA. T. Chamillard, Lori A. Clarke. 24-38 [doi]
- Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based SpecificationsSandro Morasca, Angelo Morzenti, Pierluigi San Pietro. 39-52 [doi]
- Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effectsMerlin Hughes, P. David Stotts. 53-61 [doi]
- Structural Specification-Based Testing with ADLJuei Chang, Debra J. Richardson, Sriram Sankar. 62-70 [doi]
- Issues in the Full Scale Use of Formal Methods for Automated TestingJames L. Crowley, James F. Leathrum, K. A. Liburdy. 71-78 [doi]
- Experiences and Lessons from the Analysis of TCAS IIMats Per Erik Heimdahl. 79-83 [doi]
- Predicting Dependability by TestingRichard G. Hamlet. 84-91 [doi]
- Linear and Structural Event Sequence AnalysisWilliam E. Howden, G. M. Shi. 98-106 [doi]
- Separate Computation of Alias Information for ReuseMary Jean Harrold, Gregg Rothermel. 107-120
- Critical Slicing for Software Fault LocalizationRichard A. DeMillo, Hsin Pan, Eugene H. Spafford. 121-134 [doi]
- The Path-Wise Approach to Data Flow Testing with Pointer VariablesDelia I. S. Marx, Phyllis G. Frankl. 135-146 [doi]
- Unconstrained Duals and Their Use in Achieving All-Uses CoverageMartina Marré, Antonia Bertolino. 147-157 [doi]
- Software Error Analysis: A Real Case Study Involving Real Faults and MutationsMurial Daran, Pascale Thévenod-Fosse. 158-171 [doi]
- Generation of Multi-Formalism State-Space Analysis ToolsMauro Pezzè, Michal Young. 172-179 [doi]
- Beyond Traditional Program SlicingAnthony M. Sloane, Jason Holdsworth. 180-186 [doi]
- An Approach to Verification and Validation of a Reliable Multicasting ProtocolJohn R. Callahan, Todd L. Montgomery. 187-194 [doi]
- A Semantic Model of Program FaultsA. Jefferson Offutt, Jane Huffman Hayes. 195-200 [doi]
- Towards a Structural Load Testing ToolCheer-Sun D. Yang, Lori L. Pollock. 201-208 [doi]
- Automated Test Data Generation for Programs with ProceduresBogdan Korel. 209-215 [doi]
- Reachability Analysis of Feature Interactions: A Progress ReportKeith P. Pomakis, Joanne M. Atlee. 216-223 [doi]
- Compositional Verification by Model Checking for Counter-ExamplesTevfik Bultan, Jeffrey Fischer, Richard Gerber. 224-238 [doi]
- Elements of Style: Analyzing a Software Design Feature with a Counterexample DetectorDaniel Jackson, Craig Damon. 239-249 [doi]
- Constructing Abstract Models of Concurrent Real-Time SoftwareJames C. Corbett. 250-260 [doi]
- Using Partial-Order Methods in the Formal Validation of Industrial Concurrent ProgramsPatrice Godefroid, Doron Peled, Mark G. Staskauskas. 261-269 [doi]
- Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCSMilica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour. 270-279 [doi]
- A Logic-Model Semantics for SCR Software RequirementsJoanne M. Atlee, Michael A. Buckley. 280-292 [doi]
- Why State-of-the-Art is not State-of-the-Practice (Panel Abstract)Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia. 293 [doi]