![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Annals of Software Engineering, Volume 4
Volume 4, 1997
- Richard G. Hamlet:
An Essay on Software Testing for Quality Assurance - Editor's Introduction. 1-9 - Brian Mitchell, Steven J. Zeil:
Modeling Reliability Growth During Non-Representative Testing. 11-29 - Christoph C. Michael, Jeffrey M. Voas:
The Ability of Directed Tests to Predict Software Quality. 31-64 - Paul Ammann, Dahlard L. Lukes, John C. Knight:
Applying Data Redundancy to Differential Equation Solvers. 65-77 - Janusz W. Laski:
Programming Faults and Errors: Towards a Theory of Software Incorrectness. 79-114 - James A. Whittaker:
Stochastic Software Testing. 115-131 - Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk:
Specification-Based Testing Using Cause-Effect Graphs. 133-157 - Tomas Vagoun, Alan R. Hevner:
Feasible Input Domain Partitioning in Software Testing: RCS case Study. 159-170 - Valerie Barr:
Rule-Base Coverage Analysis Applied to Test Case Selection. 171-189 - Herbert Hecht, Myron Hecht:
Quality Assurance and Testing for Safety Systems. 191-200 - Jeff Tian, Joe Palma:
Test Workload Measurement and Reliability Analysis for Large Commercial Software Systems. 201-222 - David W. Binkley:
C++ in Safety Critical Systems. 223-234 - James Kenneth Blundell, Mary Lou Hines, Jerrold Stach:
The Measurement of Software Design Quality. 235-255
![](https://dblp.dagstuhl.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.