Abstract is missing.
- Unit Testing in PracticeMichael Ellims, James Bridges, Darrel C. Ince. 3-13 [doi]
- Deriving Test Sets from Partial ProofsGuillaume Lussier, Hélène Waeselynck. 14-24 [doi]
- A Generic Method for Statistical TestingAlain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud. 25-34 [doi]
- Statistical Software Testing with Parallel Modeling: A Case StudyRobert J. Weber. 35-44 [doi]
- Reliability Growth in Software ProductsPankaj Jalote, Brendan Murphy. 47-53 [doi]
- Reliability Estimation for Statistical Usage Testing using Markov ChainsHélène le Guen, Raymond A. Marie, Thomas Thelin. 54-65 [doi]
- Validation of a Methodology for Assessing Software ReliabilityMing Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol Smidts. 66-76 [doi]
- Performability Modeling of Mobile Software SystemsPaola Bracchi, Bojan Cukic, Vittorio Cortellessa. 77-88 [doi]
- Are Found Defects an Indicator of Software Correctness? An Investigation in a Controlled Case StudyPer Runeson, Måns Holmstedt Jönsson, Fredrik Scheja. 91-100 [doi]
- An Exploration of Software Faults and Failure Behaviour in a Large Population of ProgramsMeine van der Meulen, Peter G. Bishop, Miguel A. Revilla. 101-112 [doi]
- Empirical Studies of Test Case Prioritization in a JUnit Testing EnvironmentHyunsook Do, Gregg Rothermel, Alex Kinneer. 113-124 [doi]
- An Empirical Study on Reliability Modeling for Diverse Software SystemsXia Cai, Michael R. Lyu. 125-136 [doi]
- Boundary Coverage Criteria for Test Generation from Formal ModelsNikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting. 139-150 [doi]
- Model-Based Test Driven Development of the Tefkat Model-Transformation EngineJim Steel, Michael Lawley. 151-160 [doi]
- Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-SetSilke Kuball, John H. R. May. 161-172 [doi]
- Plannable Test Selection Criteria for FSMs Extracted From Operational SpecificationsAmit M. Paradkar. 173-184 [doi]
- Bypass Testing of Web ApplicationsJeff Offutt, Ye Wu, Xiaochen Du, Hong Huang. 187-197 [doi]
- Detecting and Debugging Insecure Information FlowsWes Masri, Andy Podgurski, David Leon. 198-209 [doi]
- An Approach to Facilitate Reliability Testing of Web Services ComponentsJia Zhang. 210-218 [doi]
- Non-Detrimental Web Application Security ScanningYao-Wen Huang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo. 219-230 [doi]
- Reducing Coverage Collection Overhead With Disposable InstrumentationKalyan-Ram Chilakamarri, Sebastian G. Elbaum. 233-244 [doi]
- A Comparison of Bug Finding Tools for JavaNick Rutar, Christian B. Almazan, Jeffrey S. Foster. 245-256 [doi]
- Coverage Metrics for Continuous Function ChartsVadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner. 257-268 [doi]
- GERT: An Empirical Reliability Estimation and Testing Feedback ToolMartin Davidsson, Jiang Zheng, Nachiappan Nagappan, Laurie A. Williams, Mladen A. Vouk. 269-280 [doi]
- Multiple Profile Evaluation Using a Single Test Suite in Random TestingStefan Mankefors-Christiernin, Andreas Boklund. 283-294 [doi]
- From Test Count to Code Coverage using the Lognormal Failure RateSwapna S. Gokhale, Robert E. Mullen. 295-305 [doi]
- Validation and Reliability Estimation of a Fingerprint Image Registration SoftwareDejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic. 306-313 [doi]
- An Extended Operational Profile ModelMechelle Gittens, Hanan Lutfi Lutfiyya, Michael A. Bauer. 314-325 [doi]
- An Effective Method to Detect Software Memory Leakage Leveraged from Neuroscience Principles Governing Human Memory BehaviorXiangrong Wang, Jun Xu, Christopher H. Pham. 329-339 [doi]
- Automatically Inferring Temporal Properties for Program Evolution Jinlin Yang, David Evans. 340-351 [doi]
- Middleware Transparent Development of Dependable CORBA ApplicationsBrahmila Kamalakar, Sudipto Ghosh, Peter Vile. 352-363 [doi]
- Survivability Analysis of Telephone Access NetworkYun Liu, Veena B. Mendiratta, Kishor S. Trivedi. 367-378 [doi]
- Updates to the Schneidewind Software Reliability Model in SMERFSWilliam H. Farr, John R. Crigler, Dolores R. Wallace. 379-390 [doi]
- Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System InterfaceMartin S. Feather. 391-402 [doi]
- Empirical Study of Session-Based Workload and Reliability for Web ServersKaterina Goseva-Popstojanova, Sunil Mazimdar, Ajay Deep Singh. 403-414 [doi]
- Robust Prediction of Fault-Proneness by Random ForestsLan Guo, Yan Ma, Bojan Cukic, Harshinder Singh. 417-428 [doi]
- Preliminary Results On Using Static Analysis Tools For Software InspectionNachiappan Nagappan, Laurie A. Williams, John P. Hudepohl, Will Snipes, Mladen A. Vouk. 429-439 [doi]
- Software Release Control using Defect Based Quality EstimationJoão W. Cangussu, Richard M. Karcich, Aditya P. Mathur, Raymond A. DeCarlo. 440-450 [doi]
- Tree-Based Methods for Classifying Software FailuresPatrick Francis, David Leon, Melinda Minch, Andy Podgurski. 451-462 [doi]