Journals in DBLP

Softw. Test., Verif. Reliab.
2001, volume: 11, number: 3

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