The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002