Abstract is missing.
- Testing Processes from Formal Specifications with Inputs, Outputs and Data TypesGrégory Lestiennes, Marie-Claude Gaudel. 3-14 [doi]
- Saturation Effects in Testing of Formal ModelsTim Menzies, David Owen, Bojan Cukic. 15-26 [doi]
- Informal Proof Analysis Towards Testing EnhancementGuillaume Lussier, Hélène Waeselynck. 27-40 [doi]
- Heterogeneous Software Reliability ModelingWen-Li Wang, Mei-Hwa Chen. 41-52 [doi]
- A Reliability Estimator for Model Based Software TestingKirk Sayre, Jesse H. Poore. 53-63 [doi]
- Reliability Prediction and Sensitivity Analysis Based on Software ArchitectureSwapna S. Gokhale, Kishor S. Trivedi. 64-78 [doi]
- Automatic Failure Detection, Logging, and Recovery for High-Availability Java ServersReinhard Klemm, Navjot Singh. 79-90 [doi]
- The Impact of Recovery Mechanisms on the Likelihood of Saving Corrupted StateSubhachandra Chandra, Peter M. Chen. 91-101 [doi]
- A Flexible Generator Architecture for Improving Software DependabilityChristof Fetzer, Zhen Xiao. 102-116 [doi]
- Metrics for Measuring the Effectiveness of Software-Testing ToolsJames B. Michael, Bernard J. Bossuyt, Byron B. Snyder. 117-128 [doi]
- Optimal Allocation of Testing Resources for Modular Software SystemsChin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, Michael R. Lyu. 129-138 [doi]
- On Estimating Testing Effort Needed to Assure Field Quality in Software DevelopmentOsamu Mizuno, Eijiro Shigematsu, Yasunari Takagi, Tohru Kikuno. 139-148 [doi]
- A Framework for Live Software UpgradeLizhou Yu, Gholamali C. Shoja, Hausi A. Müller, Anand Srinivasan. 149-158 [doi]
- Modeling and Analysis of Software Rejuvenation in Cable Modem Termination SystemsYun Liu, Kishor S. Trivedi, Yue Ma, James J. Han, Haim Levendel. 159-170 [doi]
- Dependability Analysis of a Client/Server Software System with RejuvenationHiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi. 171-182 [doi]
- Data Coverage Testing of Programs for Container ClassesPonrudee Netisopakul, Lee J. White, John Morris, Daniel Hoffman. 183-194 [doi]
- Genes and Bacteria for Automatic Test Cases Optimization in the .NET EnvironmentBenoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon. 195-206 [doi]
- Fault Detection Capabilities of Coupling-based OO TestingRoger T. Alexander, Jeff Offutt, James M. Bieman. 207-220 [doi]
- Improving Usefulness of Software Quality Classification Models Based on Boolean Discriminant FunctionsTaghi M. Khoshgoftaar. 221-230 [doi]
- Fault Contribution Trees for Product FamiliesDingding Lu, Robyn R. Lutz. 231-242 [doi]
- Automatic Synthesis of Dynamic Fault Trees from UML System ModelsGanesh Pai, Joanne Bechta Dugan. 243-256 [doi]
- Test Reuse in the Spreadsheet ParadigmMarc Fisher II, Dalai Jin, Gregg Rothermel, Margaret M. Burnett. 257-268 [doi]
- A Case Study Using the Round-Trip Strategy for State-Based Class TestingGiuliano Antoniol, Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche. 269-279 [doi]
- An Empirical Study of Tracing Techniques from a Failure Analysis PerspectiveSatya Kanduri, Sebastian G. Elbaum. 280-294 [doi]
- Worst Case Reliability Prediction Based on a Prior Estimate of Residual DefectsPeter G. Bishop, Robin E. Bloomfield. 295-303 [doi]
- A Vector Markov Model for Structural Coverage Growth and the Number of Failure OccurrencesMichael Grottke. 304-315 [doi]
- Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing ProgramsYu Lei, Kuo-Chung Tai. 316-328 [doi]
- Emulation of Software Faults by Educated Mutations at Machine-Code LevelJoão Durães, Henrique Madeira. 329-340 [doi]
- Mutation of Java ObjectsRoger T. Alexander, James M. Bieman, Sudipto Ghosh, Bixia Ji. 341-351 [doi]
- Inter-Class Mutation Operators for JavaYu-Seung Ma, Yong Rae Kwon, Jeff Offutt. 352-366 [doi]
- Reliability Assessment of Framework-Based Distributed Embedded Software SystemsFarokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen. 367-376 [doi]
- Effect of Disturbances on the Convergence of Failure IntensityJoão W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo. 377-387 [doi]
- Toward A Quantifiable Definition of Software FaultsJohn C. Munson, Allen P. Nikora. 388-396 [doi]