![](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 7
Volume 7, Number 1, March 1997
- Derek Yates:
Editorial. 1-2 - Hareton K. N. Leung:
Improving the Testing Process Based Upon Standards. 3-18 - Robert M. Hierons:
Testing from a Z Specification. 19-33 - Mehmet Sahinoglu, Ünal Can:
Alternative Parameter Estimation Methods for the Compound Poisson Software Reliability Model with Clustered Failure Data. 35-57
- Min Xie:
Handbook of Software Reliability Engineering, by Michael R. Lyu (Editor), McGraw-Hill and IEEE Computer Society, 1996 (Book Review). 59-60 - Alan B. Hayes:
Object-Oriented Software Testing: A Hierarchical Approach, by Shel Siegel, Wiley, 1996 (Book Reviews). 60-61
Volume 7, Number 2, June 1997
- Martin R. Woodward:
Editorial: Research publication standards - making the right judgements. 67-68 - R. Iorgulescu, Rudolph E. Seviora:
A Method for Continuous Real-Time Supervision. 69-98 - Fraser MacDonald, James Miller:
A Software Inspection Process Definition Language and Prototype Support Tool. 99-128
- Hélène Waeselynck:
Specification in B: An Introduction Using the B Toolkit, by Kevin Lano and Howard Haughton, Imperial College Press, distributed by World Scientific Publishing, 1996 (Book Review). 129-130 - Robin W. Whitty:
Software Inspection: An Industry Best Practice, by David A. Wheeler, Bill Brykczynski and Reginald N Meeson, Jr., IEEE Computer Society, 1996 (Book Review). 130-132
Volume 7, Number 3, September 1997
- Robin W. Whitty:
Editorial: What do we want to get out of testing? 137-138 - Richard Bache:
The Effect of Fault Size on Testing. 139-152 - Robert M. Hierons, Michael P. Wiper:
Estimation of Failure Rate using Random and Partition Testing. 153-164 - A. Jefferson Offutt, Jie Pan:
Automatically Detecting Equivalent Mutants and Infeasible Paths. 165-192
- Richard Bache:
Reliability, Quality and Safety of Software-intensive Systems, by Dimitris Gritzalis (Editor), Chapman and Hall, 1997 (Book Review). 193 - Tracy Hall:
Managing Software Quality, by Brian Hambling, McGraw-Hill, 1996 (Book Review). 194
Volume 7, Number 4, December 1997
- Lee J. White:
Editorial: A six-year perspective - the readership and content of STVR. Softw. Test. Verification Reliab. 7(4): 199-200 (1997) - Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson:
Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques. 201-227 - Thomas Ericson, Anders Subotic, Stig Ursing:
TIM - A Test Improvement Model. 229-246
- Robert Lockhart:
Information Security in Research and Business, by Louise Yngström and Jan Carlsen (Editors), Thomson Science & Professional, 1997 (Book Review). 247-248
![](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.