External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 25, Issue 1

    1 -- 3Jeff Offutt. Editorial: Plagiarism Is For Losers
    4 -- 33Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran. Specification guidelines to avoid the state space explosion problem
    34 -- 71Achim D. Brucker, Lukas Brügger, Burkhart Wolff. Formal firewall conformance testing: an application of test and proof techniques
    runs on