External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 13, Issue 3

    139 -- 140Robert M. Hierons. Editorial: Testing in the large through the small?
    141 -- 155Ricardo Anido, Ana R. Cavalli, Luiz A. Paula Lima Jr., Nina Yevtushenko. Test suite minimization for testing in context
    157 -- 180Vlad Rusu. Combining formal verification and conformance testing for validating reactive systems
    181 -- 196Nicoletta De Francesco, Giuseppe Lettieri. Checking security properties by model checking
    197 -- 198Robert M. Hierons. Book Reviews
    198 -- 199Paul Gerrard. Book Reviews
    runs on