| 141 | -- | 142 | Martin R. Woodward. Editorial: Putting specifications to the test |
| 143 | -- | 163 | Taeho Kim, Sung Deok Cha. Automated structural analysis of SCR-style software requirements specifications using PVS |
| 165 | -- | 180 | Tsong Yueh Chen, Man Fai Lau. Test case selection strategies based on Boolean specifications |
| 181 | -- | 195 | Mark Utting, Steve Reeves. Teaching formal methods lite via testing |
| 197 | -- | 198 | 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 |
| 198 | -- | 199 | 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 |
| 205 | -- | 206 | W. Eric Wong. Editorial: Mutation 2000 - A Symposium on Mutation Testing |
| 207 | -- | 225 | Sun-Woo Kim, John A. Clark, John A. McDermid. Investigating the effectiveness of object-oriented testing strategies using the mutation method |
| 227 | -- | 247 | Sudipto Ghosh, Aditya P. Mathur. Interface mutation |
| 249 | -- | 268 | Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, Ellen Francine Barbosa, Márcio Eduardo Delamaro. Unit and integration testing strategies for C programs using mutation |