Software Testing, Verification & Reliability (STVR), Volume 11

Volume 11, Number 1, March 2001

• Lee J. White: Editorial: Specification-based testing revisited? 1-2 BibTeX
• Kasilingam Periyasamy, Vangalur S. Alagar: A rigorous method for test templates generation from object-oriented specifications. 3-37 BibTeX
• Kirill Bogdanov, Mike Holcombe: Statechart testing method for aircraft control systems. 39-54 BibTeX

• Kevin Lano: Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press. 55 BibTeX
• Chris Fox: Book Review: Linux: The Complete Reference, Third Edition, by Richard Petersen, Osborne/McGraw-Hill. 55-58 BibTeX

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). 63-64 BibTeX
• Gerard J. Holzmann, Margaret H. Smith: Software model checking: extracting verification models from source code. 65-79 BibTeX
• Christophe Meudec: ATGen: automatic test data generation using constraint logic programming and symbolic execution. 81-96 BibTeX
• Stephen H. Edwards: A framework for practical, automated black-box testing of component-based software. 97-111 BibTeX
• Ellen Francine Barbosa, José Carlos Maldonado, Auri Marcelo Rizzo Vincenzi: Toward the determination of sufficient mutant operators for C. 113-136 BibTeX

Volume 11, Number 3, September 2001

• Martin R. Woodward: Editorial: Putting specifications to the test. 141-142 BibTeX
• Taeho Kim, Sung Deok Cha: Automated structural analysis of SCR-style software requirements specifications using PVS. 143-163 BibTeX
• Tsong Yueh Chen, Man Fai Lau: Test case selection strategies based on Boolean specifications. 165-180 BibTeX
• Mark Utting, Steve Reeves: Teaching formal methods lite via testing. 181-195 BibTeX

• 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 BibTeX
• 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 BibTeX

Volume 11, Number 3, December 2001

• W. Eric Wong: Editorial: Mutation 2000 - A Symposium on Mutation Testing. 205-206 BibTeX
• Sun-Woo Kim, John A. Clark, John A. McDermid: Investigating the effectiveness of object-oriented testing strategies using the mutation method. 207-225 BibTeX
• Sudipto Ghosh, Aditya P. Mathur: Interface mutation. 227-247 BibTeX
• 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 BibTeX