default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Testing, Verification & Reliability (STVR), Volume 9
Volume 9, Number 1, March 1999
- Derek Yates:
Editorial: Crisis - What Crisis? 1-2 - Daniel Hoffman, Paul A. Strooper
, Lee J. White:
Boundary Values and Automated Component Testing. 3-26 - John Derrick, Eerke A. Boiten:
Testing Refinements of State-based Formal Specifications. 27-50 - Delia I. S. Marx, Phyllis G. Frankl:
Path-sensitive Alias Analysis for Data Flow Testing. 51-73
- Stuart Reid:
Software Fault Injection: Inoculating Programs Against Errors, by Jeffrey Voas and Gary McGraw, Wiley, 1998 (Book Review). 75-76 - Robert M. Hierons:
Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review). 76-77
Volume 9, Number 2, June 1999
- Martin R. Woodward:
Editorial: V is for Verification. 83-84 - Myla Archer, Amy Lo, Ronald A. Olsson:
Towards a Transformational Approach to Program Verification. 85-106 - Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt:
LVT: A Layered Verification Technique for Distributed Computing Systems. 107-133
- Simon Burton:
Testing Safety-Related Software: a Practical Handbook, by S. Gardiner (Editor), Springer-Verlag, 1999 (Book Review). 135-136 - Dorothy R. Graham:
Surviving the Top Ten Challenges of Software Testing: a People-Oriented Approach, by William E. Perry and Randall W. Rice, Dorset House, 1997 (Book Review). 136-137
Volume 9, Number 3, September 1999
- Robert M. Hierons:
Editorial: What does testing tell us? Softw. Test. Verification Reliab. 9(3): 143-144 (1999) - Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini:
A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. 145-166 - James Miller:
Estimating the Number of Remaining Defects after Inspection. 167-189
- Robert M. Hierons:
Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review). Softw. Test. Verification Reliab. 9(3): 191-193 (1999) - Marc Roper:
Testing Object-Oriented Software, by David C. Kung, Pei Hsia and Jerry Gao, IEEE Computer Society, 1998 (Book Review). 193-194
Volume 9, Number 4, December 1999
- Lee J. White:
Editorial: Submission of Position Papers and Letters to the Editor. Softw. Test. Verification Reliab. 9(4): 199-200 (1999) - Richard G. Hamlet:
Tribute: John Gannon. 201-203 - Elfurjani Sassi Mresa, Leonardo Bottaci:
Efficiency of Mutation Operators and Selective Mutation Strategies: An Empirical Study. 205-232 - Robert M. Hierons, Mark Harman, Sebastian Danicic:
Using Program Slicing to Assist in the Detection of Equivalent Mutants. 233-262 - Roy P. Pargas, Mary Jean Harrold, Robert Peck:
Test-Data Generation Using Genetic Algorithms. 263-282
- Hongji Yang:
The Renaissance of Legacy Systems: Method Support for Software-System Evolution, Ian Warren, Springer-Verlag, 1999 (Book Review). Softw. Test. Verification Reliab. 9(4): 283 (1999) - Geoff Quentin:
Automated Software Testing: Introduction, Management and Performance, Elfriede Dustin, Jeff Rashka and John Paul, Addison-Wesley, 1999 (Book Review). Softw. Test. Verification Reliab. 9(4): 283-284 (1999)
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.
last updated on 2025-12-04 01:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
