default search action
Software Testing, Verification & Reliability (STVR), Volume 15
Volume 15, Number 1, March 2005
- Lee J. White:
Editorial: Looking for surprises in testing? 1-2 - Felix Redmill:
Theory and practice of risk-based testing. 3-20 - Kalpesh Kapoor, Jonathan P. Bowen
:
A formal analysis of MCDC and RCDC test criteria. 21-40 - Gareth Lee, John Morris
Using symbolic execution to guide test generation. 41-61
Volume 15, Number 2, June 2005
- Martin R. Woodward:
Editorial: On mutants, metaphors and scientific creativity. 71-72 - Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon:
From genetic to bacteriological algorithms for mutation-based testing. 73-96 - Yu-Seung Ma
MuJava: an automated class mutation system. 97-133 - Robert M. Hierons
Artificial Intelligence Methods In Software Testing. Edited by Mark Last, Abraham Kandel and Horst Bunke. Published by World Scientific Publishing, Singapore, Series in Machine Perception and Artificial Intelligence, Volume 56, 2004, ISBN 981-238-854-0. 135-136 - Stuart Reid:
The Art of Software Testing, Second edition. Glenford J. Myers. Revised and updated by Tom Badgett and Todd M. Thomas, with Corey Sandler. John Wiley and Sons, New Jersey, USA, 2004, ISBN 0-471-46912-2. 136-137
Volume 15, Number 3, September 2005
- Derek Yates:
Editorial: ... and the wheel keeps turning. 143-144
- Daniel Karlström, Per Runeson
A minimal test practice framework for emerging software organizations. 145-166 - Mats Grindal, Jeff Offutt, Sten F. Andler:
Combination testing strategies: a survey. 167-199
- Thomas Thelin:
Software Testing and Continuous Quality Improvement. Second Edition. By William E. Lewis. Technical Contributor: Gunasekaran Veerapillai. Published by Auerbach Publications, 2005, ISBN: 0-8493-2524-2, pp 534. 201-202 - Joël Ouaknine:
Verification of Reactive Systems: Formal Methods and Algorithms. By Klaus Schneider. Springer, Texts in Theoretical Computer Science Series, 2004, ISBN: 3-540-00296-0, pp 600. 202-203
Volume 15, Number 4, December 2005
- Robert M. Hierons
Editorial: Validating our findings. 209-210
- Manuel Núñez
Specification and testing of autonomous agents in e-commerce systems. 211-233 - Daniel Hoffman, Paul A. Strooper
Tool support for executable documentation of Java class hierarchies. 235-256 - Jung-Min Kim, Adam A. Porter, Gregg Rothermel:
An empirical study of regression test application frequency. 257-279
- Nathan Baddoo:
Achieving Software Quality Through Teamwork. By Isabel Evans. Artech House, 2004, ISBN: 1-58053-662-X, pp 296. 281-282
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 2024-12-19 22:14 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: