Software Testing, Verification & Reliability (STVR), Volume 3

Volume 3, Number 1, March 1993

• Martin R. Woodward: Editorial. 1-2 BibTeX
• Min Xie: Software Reliability Models: A Selected Annotated Bibliography. 3-28 BibTeX
• Rajiv Gupta, Mary Lou Soffa: Employing Static Information in the Generation of Test Cases. 29-48 BibTeX

• Darius Karkaria: Independent Verification and Validation: a Life Cycle Engineering Process for Quality Software, by R. O. Lewis, Wiley, 1992 (Book Review). 49-51 BibTeX
• Robert Lockhart: Discrete Event Simulation in C, by Kevin Watkins, McGraw-Hill, 1993 (Book Review). 51-53 BibTeX

Volume 3, Number 2, June 1993

• Lee J. White: Editorial: Need for a Testing Metric - Error Detection Rate. 61-62 BibTeX
• Matthias Grochtmann, Klaus Grimm: Classification Trees for Partition Testing. 63-82 BibTeX
• Aniello Cimitile, Ugo de Carlini, Umberto Villano: Replay-Based Debugging of Occam Programs. 83-100 BibTeX
• Moheb R. Girgis: Using Symbolic Execution and Data Flow Criteria to Aid Test Data Selection. 101-112 BibTeX

• Lesley Semmens: Method Integration: Concepts and Case Studies, by Klaus Kronlöf (Editor), Wiley, 1993 (Book Review). 113-114 BibTeX

Volume 3, Numbers 3/4, September-December 1993

• Dorothy R. Graham, Bill Hetzel: Guest Editorial: EuroSTAR '93. 121-123 BibTeX
• Shaun Davey, Dave Huxford, John Liddiard, Mark Powley, Alan Smith: Metrics Collection in Code and Unit Test as Part of Continuous Quality Improvement. 125-148 BibTeX
• Mike Holcombe: An Integrated Methodology for the Specification, Verification and Testing of Systems. 149-163 BibTeX
• Marc Roper, Ab. Rashid bin Ab. Rahim: Software Testing Using Analysis and Design Based Techniques. 165-179 BibTeX
• Dieter Welzel, Hans-Ludwig Hausen, Jørgen Bøegh: A Metric-Based Software Evaluation Method. 181-194 BibTeX