|
Journals in DBLP
- Derek Yates
Editorial: Find the missing links? [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:1-2 [Journal]
- Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini
Efficient model checking of properties of a distributed application: a multimedia case study. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:3-21 [Journal]
- Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi
Conditioned slicing supports partition testing. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:23-28 [Journal]
- István Forgács, Antonia Bertolino
Preventing untestedness in data-flow based testing. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:29-58 [Journal]
- R. W. Whitty
Digraphs: theory, algorithms and applications. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:59-60 [Journal]
- Perdita Stevens
Refinement in Z and object-Z: foundations and advanced applications. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:61- [Journal]
- Lee J. White, Martin R. Woodward
List of Referees. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:63-64 [Journal]
|