Abstract is missing.
- Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code InspectionPer Runeson, Anneliese Amschler Andrews. 3-13 [doi]
- A Comprehensive and Systematic Methodology for Client-Server Class Integration TestingLionel C. Briand, Yvan Labiche, Yihong Wang. 14-25 [doi]
- Optimal Resource Allocation for the Quality Control ProcessPankaj Jalote, Bijendra Vishal. 26-33 [doi]
- Test-Driven Development as a Defect-Reduction PracticeLaurie A. Williams, E. Michael Maximilien, Mladen A. Vouk. 34-48 [doi]
- Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research ProjectJane Huffman Hayes. 49-59 [doi]
- A New Software Testing Approach Based on Domain Analysis of Specifications and ProgramsRuilian Zhao, Michael R. Lyu, Yinghua Min. 60-70 [doi]
- Static Specification Analysis for Termination of Specification-Based Data Structure RepairBrian Demsky, Martin C. Rinard. 71-84 [doi]
- Requirements by Contracts allow Automated System TestingClémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel. 85-98 [doi]
- Coverage Criteria for Logical ExpressionsPaul Ammann, A. Jefferson Offutt, Hong Huang. 99-107 [doi]
- Anomalies as Precursors of Field FailuresSebastian G. Elbaum, Satya Kanduri, Anneliese Amschler Andrews. 108-118 [doi]
- An Empirical Study on Testing and Fault Tolerance for Software Reliability EngineeringMichael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Cai. 119-132 [doi]
- Forensic Analysis for Tamper Resistant SoftwareHongxia Jin, Jeffery Lotspiech. 133-142 [doi]
- A Framework for Tamper Detection Marking of Mobile ApplicationsMike Jochen, Lisa M. Marvel, Lori L. Pollock. 143-153 [doi]
- High-Assurance Synthesis of Security Services from Basic MicroservicesSung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen. 154-168 [doi]
- Shared Semantic Domains for Computational Reliability EngineeringDavid Coppit, Robert R. Painter, Kevin J. Sullivan. 169-180 [doi]
- Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional SpecificationsAvik Sinha, Carol Smidts, Andrew Moran. 181-190 [doi]
- Thoroughness of Specification-Based Testing of Synchronous ProgramsIoannis Parissis, Jérôme Vassy. 191-202 [doi]
- Automating the Analysis of Voting SystemsSherif M. Yacoub, Xiaofan Lin, Steven J. Simske, John Burns 0003. 203-214 [doi]
- A Bayesian Belief Network for Assessing the Likelihood of Fault ContentSousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno. 215-226 [doi]
- An Exploratory Study of Component Reliability Using Unit TestingRichard Torkar, Stefan Mankefors, Krister Hansson, Andreas Jonsson. 227-236 [doi]
- Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability PredictionPeter G. Bishop, Robin E. Bloomfield. 237-245 [doi]
- An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability ModelingHiroyuki Okamura, Yasuhiro Watanabe, Tadashi Dohi. 246-256 [doi]
- Fault Correction ProfilesNorman F. Schneidewind. 257-270 [doi]
- Early Warning of Failures through Alarm Analysis - A Case Study in Telecom Voice Mail SystemsDorron Levy, Ram Chillarege. 271-280 [doi]
- Reducing wasted development time via continuous testingDavid Saff, Michael D. Ernst. 281-292 [doi]
- User-Oriented Reliability Modeling for a Web SystemWen-Li Wang, Mei-Huei Tang. 293-306 [doi]
- Assessing Uncertainty in Reliability of Component-Based Software SystemsKaterina Goseva-Popstojanova, Sunil Kamavaram. 307-320 [doi]
- When Does It Pay to Make Software More Reliable?Ed Stoker, Joanne Bechta Dugan. 321-331 [doi]
- Test Adequacy Assessment for UML Design Model TestingSudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns. 332-346 [doi]
- Open Source Software - A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out?Saurabh Bagchi, Henrique Madeira. 347-352
- A Parameterized Cost Model to Order Classes for Class-based Testing of C++ ApplicationsBrian A. Malloy, Peter J. Clarke, Errol L. Lloyd. 353-364 [doi]
- Exploiting Symmetries to Test ProgramsArnaud Gotlieb. 365-374 [doi]
- Non-Intrusive Debug Technique for Embedded ProgrammingLinda J. Moore, Angelica R. Moya. 375-382 [doi]
- Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software ComponentsHui Ma, I-Ling Yen, Farokh B. Bastani, Kendra Cooper. 383-393 [doi]
- Augmenting Simulated Annealing to Build Interaction Test SuitesMyra B. Cohen, Charles J. Colbourn, Alan C. H. Ling. 394-405 [doi]
- DARX - A Framework For The Fault-Tolerant Support Of Agent SoftwareOlivier Marin, Marin Bertier, Pierre Sens. 406-418 [doi]
- Investigating Java Type Analyses for the Receiver-Classes Testing CriterionPierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol. 419-429 [doi]
- Incremental Dynamic Impact Analysis for Evolving Software SystemsJames Law, Gregg Rothermel. 430-441 [doi]
- A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test CasesDavid Leon, Andy Podgurski. 442-456 [doi]
- Integrating Software into PRABin Li, Ming Li, Susmita Ghose, Carol Smidts. 457-467 [doi]
- New Quality Estimations in Random TestingStefan Mankefors, Richard Torkar, Andreas Boklund. 468-478 [doi]
- Maximizing Interval Reliability in Operational Software System with RejuvenationHiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi. 479-490 [doi]