Journals in DBLP

Softw. Test., Verif. Reliab.
2003, volume: 13, number: 3

1. Robert M. Hierons
   Editorial: Testing in the large through the small? [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2003, v:13, n:3, pp:139-140 [Journal]
   
2. Ricardo Anido, Ana R. Cavalli, Luiz A. Paula Lima Jr., Nina Yevtushenko
   Test suite minimization for testing in context. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2003, v:13, n:3, pp:141-155 [Journal]
   
3. Vlad Rusu
   Combining formal verification and conformance testing for validating reactive systems. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2003, v:13, n:3, pp:157-180 [Journal]
   
4. Nicoletta De Francesco, Giuseppe Lettieri
   Checking security properties by model checking. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2003, v:13, n:3, pp:181-196 [Journal]
   
5. Robert M. Hierons
   Book Reviews. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2003, v:13, n:3, pp:197-198 [Journal]
   
6. Paul Gerrard
   Book Reviews. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2003, v:13, n:3, pp:198-199 [Journal]