default search action
Software Testing, Verification & Reliability (STVR), Volume 10
Volume 10, Number 1, March 2000
- Derek Yates:
Editorial: 'The Best Ever'. 1-2 - K. S. How Tai Wah:
A Theoretical Study of Fault Coupling. 3-45 - Anneliese von Mayrhauser, Dexing Chen:
Effect of Fault Distribution and Execution Patterns on Fault Exposure in Software: A Simulation Study. 47-64
- John Murdoch:
System Safety: HAZOP and Software HAZOP, Felix Redmill, Morris Chudleigh and James Catmur, Wiley, 1999 (Book Review). 65-66 - Richard N. Taylor:
Test Process Improvement, Tim Koomen and Martin Pol, Addison-Wesley, 1999 (Book Review). 67-69
Volume 10, Number 2, June 2000
- Martin R. Woodward:
Editorial: 'The times they are a-changing'. 75-76 - Gregg Rothermel, Mary Jean Harrold, Jeinay Dedhia:
Regression Test Selection for C++ Software. 77-109 - David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper:
From Object-Z Specifications to ClassBench Test Suites. 111-137
- Alexandra Poulovassilis:
Classical and Object-Oriented Software Engineering with UML and C++, Stephen R. Schach, McGraw-Hill, 1998 (Book Review). 139-140 - Paul Krause:
Software Test Automation: Effective Use of Test Execution Tools, Mark Fewster and Dorothy Graham, Addison-Wesley, 1999 (Book Review). Softw. Test. Verification Reliab. 10(2): 140-142 (2000)
Volume 10, Number 3, September 2000
- Martin R. Woodward:
Editorial: 'Collaboration, collaboration, collaboration'. 147-148 - Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White:
State Generation and Automated Class Testing. 149-170 - Mary Jean Harrold, Gregg Rothermel, Kent Sayre, Rui Wu, Liu Yi:
An Empirical Investigation of the Relationship Between Spectra Differences and Regression Faults. 171-194
- John Derrick:
Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review). 195 - Robert M. Hierons:
Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir and Amrit L. Goel, Springer-Verlag, 2000 (Book Review). 196
Volume 10, Number 4, December 2000
- Robert M. Hierons, John Derrick:
Editorial: special issue on specification-based testing. 201-202 - Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural:
A test sequence selection method for statecharts. 203-227 - Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch:
Specification based test sequence generation with propositional logic. 229-248 - Stephen H. Edwards:
Black-box testing using flowgraphs: an experimental assessment of effectiveness and automation potential. 249-262
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-01-10 18:22 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: