Preface |
Welcome from the Program Committee Co-Chairs |
Organizing Committee |
Program Committee |
Reviewers |
Test Effectiveness I / Session 1A: |
Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection / P. Runeson ; A. Andrews |
A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing / L. C. Briand ; Y. Labiche ; Y. Wang |
Optimal Resource Allocation for the Quality Control Process / P. Jalote ; B. Vishal |
Test-Driven Development as a Defect-Reduction Practice / L. Williams ; E. M. Maximilien ; M. Vouk |
Requirements Analysis / Session 1B: |
Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project / J. Huffman Hayes |
A New Software Testing Approach Based on Domain Analysis of Specifications and Programs / R. Zhao ; M. R. Lyu ; Y. Min |
Static Specification Analysis for Termination of Specification-Based Data Structure Repair / B. Demsky ; M. Rinard |
Requirements by Contracts Allow Automated System Testing / C. Nebut ; F. Fleurey ; Y. Le Traon ; J.-M. Jezequel |
Test Effectiveness II / Session 2A: |
Coverage Criteria for Logical Expressions / P. Ammann ; J. Offutt ; H. Huang |
Anomalies as Precursors of Field Failures / S. Elbaum ; S. Kanduri ; A. Amschler Andrews |
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering / Z. Huang ; S. K. S. Sze ; X. Cai |
Secure Systems / Session 2B: |
Forensic Analysis for Tamper Resistant Software / H. Jin ; J. Lotspiech |
A Framework for Tamper Detection Marking of Mobile Applications / M. Jochen ; L. M. Marvel ; L. L. Pollock |
High-Assurance Synthesis of Security Services from Basic Microservices / S. Kim ; F. B. Bastani ; I-L. Yen ; I.-R. Chen |
Formal Reliability Analysis / Session 2C: |
Shared Semantic Domains for Computational Reliability Engineering / D. Coppit ; R. R. Painter ; K. J. Sullivan |
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications / A. Sinha ; C. S. Smidts ; A. Moran |
Thoroughness of Specification-Based Testing of Synchronous Programs / I. Parissis ; J. Vassy |
Empirical Studies and Tools / Session 3A: |
Automating the Analysis of Voting Systems / S. Yacoub ; X. Lin ; S. Simske ; J. Burns |
A Bayesian Belief Network for Assessing the Likelihood of Fault Content / S. Amasaki ; Y. Takagi ; O. Mizuno ; T. Kikuno |
An Exploratory Study of Component Reliability Using Unit Testing / R. Torkar ; S. Mankefors ; K. Hansson ; A. Jonsson |
Software Reliability Modeling / Session 3B: |
Using a Log-Normal Failure Rate Distribution for Worst Case Bound Reliability Prediction / P. G. Bishop ; R. E. Bloomfield |
An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling / H. Okamura ; Y. Watanabe ; T. Dohi |
Fault Correction Profiles / N. F. Schneidewind |
Empirical Studies / Session 4A: |
Early Warning of Failures through Alarm Analysis--A Case Study in Telcom Voice Mail Systems / D. Levy ; R. Chillarege |
Reducing Wasted Development Time via Continuous Testing / D. Saff ; M. D. Ernst |
User-Oriented Reliability Modeling for a Web System / W.-L. Wang ; M.-H. Tang |
Architectural Approaches I / Session 4B: |
Assessing Uncertainty in Reliability of Component-Based Software Systems / K. Goseva-Popstojanova ; S. Kamavaram |
When Does It Pay to Make Software More Reliable? / E. Stoker ; J. Bechta Dugan |
Test Adequacy Assessment for UML Design Model Testing / S. Ghosh ; R. France ; C. Braganza ; N. Kawane ; O. Pilskalns |
Panel Position Statement / Session 4C: |
Open Source Software--A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out? / S. Bagchi ; H. Madeira |
Software Testing / Session 5A: |
A Parameterized Cost Model to Order Classes for Class-Based Testing of C++ Applications / B. A. Malloy ; P. J. Clarke ; E. L. Lloyd |
Exploiting Symmetries to Test Programs / A. Gotlieb |
Non-Intrusive Debug Technique for Embedded Programming / L. J. Moore ; A. R. Moya |
Architectural Analysis II / Session 5B: |
Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components / H. Ma ; F. Bastani ; K. Cooper |
Augmenting Simulated Annealing to Build Interaction Test Suites / M. B. Cohen ; C. J. Colbourn ; A. C. H. Ling |
DARX--A Framework for the Fault-Tolerant Support of Agent Software / O. Marin ; M. Bertier ; P. Sens |
Metrics / Session 6A: |
Investigating Java Type Analyses for the Receiver-Classes Testing Criterion / P.-L. Brunelle ; E. Merlo ; G. Antoniol |
Incremental Dynamic Impact Analysis for Evolving Software Systems / J. Law ; G. Rothermel |
A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases / D. Leon ; A. Podgurski |
Probabilistic Analysis / Session 6B: |
Integrating Software into PRA / B. Li ; M. Li ; S. Ghose ; C. Smidts |
New Quality Estimations in Random Testing / A. Boklund |
Maximizing Interval Reliability in Operational Software System with Rejuvenation / H. Suzuki ; N. Kaio ; K. S. Trivedi |
Author Index |
Preface |
Welcome from the Program Committee Co-Chairs |
Organizing Committee |