Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ]