![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Software Testing, Verification & Reliability (STVR), Volume 3
Volume 3, Number 1, March 1993
- Martin R. Woodward:
Editorial. Softw. Test. Verification Reliab. 3(1): 1-2 (1993) - Min Xie
:
Software Reliability Models: A Selected Annotated Bibliography. 3-28 - Rajiv Gupta
, Mary Lou Soffa:
Employing Static Information in the Generation of Test Cases. 29-48
- Darius Karkaria:
Independent Verification and Validation: a Life Cycle Engineering Process for Quality Software, by R. O. Lewis, Wiley, 1992 (Book Review). 49-51 - Robert Lockhart:
Discrete Event Simulation in C, by Kevin Watkins, McGraw-Hill, 1993 (Book Review). 51-53
Volume 3, Number 2, June 1993
- Lee J. White:
Editorial: Need for a Testing Metric - Error Detection Rate. Softw. Test. Verification Reliab. 3(2): 61-62 (1993) - Matthias Grochtmann, Klaus Grimm:
Classification Trees for Partition Testing. 63-82 - Aniello Cimitile, Ugo de Carlini, Umberto Villano:
Replay-Based Debugging of Occam Programs. 83-100 - Moheb R. Girgis:
Using Symbolic Execution and Data Flow Criteria to Aid Test Data Selection. 101-112
- Lesley Semmens:
Method Integration: Concepts and Case Studies, by Klaus Kronlöf (Editor), Wiley, 1993 (Book Review). 113-114
Volume 3, Numbers 3/4, September-December 1993
- Dorothy R. Graham, Bill Hetzel:
Guest Editorial: EuroSTAR '93. Softw. Test. Verification Reliab. 3(3/4): 121-123 (1993) - 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 - Mike Holcombe:
An Integrated Methodology for the Specification, Verification and Testing of Systems. 149-163 - Marc Roper, Ab. Rashid bin Ab. Rahim:
Software Testing Using Analysis and Design Based Techniques. 165-179 - Dieter Welzel, Hans-Ludwig Hausen, Jørgen Bøegh:
A Metric-Based Software Evaluation Method. 181-194
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.