Journals in DBLP

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

1. Nigel Tracey, John Penix, Willem Visser
   Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2001, v:11, n:2, pp:63-64 [Journal]
   
2. Gerard J. Holzmann, Margaret H. Smith
   Software model checking: extracting verification models from source code. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2001, v:11, n:2, pp:65-79 [Journal]
   
3. Christophe Meudec
   ATGen: automatic test data generation using constraint logic programming and symbolic execution. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2001, v:11, n:2, pp:81-96 [Journal]
   
4. Stephen H. Edwards
   A framework for practical, automated black-box testing of component-based software. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2001, v:11, n:2, pp:97-111 [Journal]
   
5. Ellen Francine Barbosa, José Carlos Maldonado, Auri Marcelo Rizzo Vincenzi
   Toward the determination of sufficient mutant operators for C. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2001, v:11, n:2, pp:113-136 [Journal]