default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Testing, Verification & Reliability (STVR), Volume 11
Volume 11, Number 1, March 2001
- Lee J. White:
Editorial: Specification-based testing revisited? 1-2 - Kasilingam Periyasamy, Vangalur S. Alagar:
A rigorous method for test templates generation from object-oriented specifications. 3-37 - Kirill Bogdanov, Mike Holcombe:
Statechart testing method for aircraft control systems. 39-54
- Kevin Lano:
Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press. Softw. Test. Verification Reliab. 11(1): 55 (2001) - Chris Fox:
Book Review: Linux: The Complete Reference, Third Edition, by Richard Petersen, Osborne/McGraw-Hill. Softw. Test. Verification Reliab. 11(1): 55-58 (2001)
Volume 11, Number 2, June 2001
- Nigel Tracey, John Penix, Willem Visser:
Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). Softw. Test. Verification Reliab. 11(2): 63-64 (2001) - Gerard J. Holzmann, Margaret H. Smith:
Software model checking: extracting verification models from source code. Softw. Test. Verification Reliab. 11(2): 65-79 (2001) - Christophe Meudec:
ATGen: automatic test data generation using constraint logic programming and symbolic execution. Softw. Test. Verification Reliab. 11(2): 81-96 (2001) - Stephen H. Edwards:
A framework for practical, automated black-box testing of component-based software. Softw. Test. Verification Reliab. 11(2): 97-111 (2001) - Ellen Francine Barbosa, José Carlos Maldonado, Auri Marcelo Rizzo Vincenzi:
Toward the determination of sufficient mutant operators for C. Softw. Test. Verification Reliab. 11(2): 113-136 (2001)
Volume 11, Number 3, September 2001
- Martin R. Woodward:
Editorial: Putting specifications to the test. 141-142 - Taeho Kim, Sung Deok Cha:
Automated structural analysis of SCR-style software requirements specifications using PVS. 143-163 - Tsong Yueh Chen
, Man Fai Lau:
Test case selection strategies based on Boolean specifications. 165-180 - Mark Utting, Steve Reeves:
Teaching formal methods lite via testing. 181-195
- Robert M. Hierons:
Book Review: Spin Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop, Stanford, CA, USA, By Klaus Havelund, John Penix and Willem Visser (eds.). LNCS 1885. 197-198 - Michelle Cartwright:
Book Review: Experimentation in Software Engineering: An Introduction. By Claes Wohlin, Per Runeson, Martin Höst, Magnus C. Ohlsson, Björn Regnell and Anders Wesslén. Kluwer Academic Publishers, 1999, ISBN 0-7923-8682-5. 198-199
Volume 11, Number 3, December 2001
- W. Eric Wong:
Editorial: Mutation 2000 - A Symposium on Mutation Testing. 205-206 - Sun-Woo Kim, John A. Clark, John A. McDermid:
Investigating the effectiveness of object-oriented testing strategies using the mutation method. 207-225 - Sudipto Ghosh, Aditya P. Mathur:
Interface mutation. 227-247 - Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, Ellen Francine Barbosa, Márcio Eduardo Delamaro:
Unit and integration testing strategies for C programs using mutation. 249-268
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-01 23:11 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:
