14. ISSRE 2003: Denver, CO, USA
14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA. IEEE Computer Society 2003 ISBN 0-7695-2007-3
Session 1A: Test Effectiveness I
- Per Runeson, Anneliese Amschler Andrews: Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection. 3-13
- Lionel C. Briand, Yvan Labiche, Yihong Wang: A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing. 14-25
- Laurie A. Williams, E. Michael Maximilien, Mladen A. Vouk: Test-Driven Development as a Defect-Reduction Practice. 34-48
Session 1B: Requirements Analysis
- Jane Huffman Hayes: Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project. 49-59
- Ruilian Zhao, Michael R. Lyu, Yinghua Min: A New Software Testing Approach Based on Domain Analysis of Specifications and Programs. 60-70
- Brian Demsky, Martin C. Rinard: Static Specification Analysis for Termination of Specification-Based Data Structure Repair. 71-84
- Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel: Requirements by Contracts allow Automated System Testing. 85-98
Session 2A: Test Effectiveness II
- Sebastian G. Elbaum, Satya Kanduri, Anneliese Amschler Andrews: Anomalies as Precursors of Field Failures. 108-118
- Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Cai: An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering. 119-132
Session 2B: Secure Systems
- Mike Jochen, Lisa M. Marvel, Lori L. Pollock: A Framework for Tamper Detection Marking of Mobile Applications. 143-153
- Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen: High-Assurance Synthesis of Security Services from Basic Microservices. 154-168
Session 2C: Formal Reliability Analysiss
- David Coppit, Robert R. Painter, Kevin J. Sullivan: Shared Semantic Domains for Computational Reliability Engineering. 169-180
- Avik Sinha, Carol Smidts, Andrew Moran: Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. 181-190
- Ioannis Parissis, Jérôme Vassy: Thoroughness of Specification-Based Testing of Synchronous Programs. 191-202
Session 3A: Empirical Studies and Tools
- Sherif M. Yacoub, Xiaofan Lin, Steven J. Simske, John Burns: Automating the Analysis of Voting Systems. 203-214
- Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno: A Bayesian Belief Network for Assessing the Likelihood of Fault Content. 215-226
- Richard Torkar, Stefan Mankefors, Krister Hansson, Andreas Jonsson: An Exploratory Study of Component Reliability Using Unit Testing. 227-236
Session 3B: Software Reliability Modeling
- Peter G. Bishop, Robin E. Bloomfield: Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. 237-245
- Hiroyuki Okamura, Yasuhiro Watanabe, Tadashi Dohi: An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling. 246-256
- Norman F. Schneidewind: Fault Correction Profiles. 257-270
Session 4A: Empirical Studies
- Dorron Levy, Ram Chillarege: Early Warning of Failures through Alarm Analysis - A Case Study in Telecom Voice Mail Systems. 271-280
Session 4B: Architectural Approaches I
- Katerina Goseva-Popstojanova, Sunil Kamavaram: Assessing Uncertainty in Reliability of Component-Based Software Systems. 307-320
- Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns: Test Adequacy Assessment for UML Design Model Testing. 332-346
Session 4C: Panel Position Statement
- Saurabh Bagchi, Henrique Madeira: Open Source Software - A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out? 347-352
Session 5A: Software Testing
- Brian A. Malloy, Peter J. Clarke, Errol L. Lloyd: A Parameterized Cost Model to Order Classes for Class-based Testing of C++ Applications. 353-364
- Arnaud Gotlieb: Exploiting Symmetries to Test Programs. 365-374
Session 5B: Architectural Analysis II
- Hui Ma, I-Ling Yen, Farokh B. Bastani, Kendra Cooper: Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components. 383-393
- Myra B. Cohen, Charles J. Colbourn, Alan C. H. Ling: Augmenting Simulated Annealing to Build Interaction Test Suites. 394-405
- Olivier Marin, Marin Bertier, Pierre Sens: DARX - A Framework For The Fault-Tolerant Support Of Agent Software. 406-418
Session 6A: Metrics
- Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol: Investigating Java Type Analyses for the Receiver-Classes Testing Criterion. 419-429
- James Law, Gregg Rothermel: Incremental Dynamic Impact Analysis for Evolving Software Systems. 430-441
- David Leon, Andy Podgurski: A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases. 442-456
Session 6B: Probabilistic Analysis
- Stefan Mankefors, Richard Torkar, Andreas Boklund: New Quality Estimations in Random Testing. 468-478
- Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi: Maximizing Interval Reliability in Operational Software System with Rejuvenation. 479-490
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team