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