13. ISSRE 2002:
Annapolis, MD, USA Session 1A:
Testing with Formal Methods
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 2A:
Reliability Modeling
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 3A:
Failure Detection and Recovery
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 1B:
Assessment of Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 2B:
High Availability Software Maintenance
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 1C:
Testing Technologies
export record as
dblp key:
conf/issre/NetisopakulWMH02 export record as
dblp key:
export record as
dblp key:
Session 2C:
System Analysis
export record as
dblp key:
conf/issre/Khoshgoftaar02 Taghi M. Khoshgoftaar :
Improving Usefulness of Software Quality Classification Models Based on Boolean Discriminant Functions.
221-230
export record as
dblp key:
export record as
dblp key:
Session 1D:
Practical Experience with Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 2D:
Reliability Prediction and Analysis
export record as
dblp key:
export record as
dblp key:
Michael Grottke :
A Vector Markov Model for Structural Coverage Growth and the Number of Failure Occurrences.
304-315
export record as
dblp key:
Yu Lei ,
Kuo-Chung Tai :
Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs.
316-328
Session 1E:
Software Mutation
export record as
dblp key:
export record as
dblp key:
conf/issre/AlexanderBGJ02 export record as
dblp key:
Session 2E:
Reliability Assessment
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
