External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 24, Issue 7

    497 -- 498Achim D. Brucker, Jacques Julliand. Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing
    499 -- 531Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet. Test generation with Satisfiability Modulo Theories solvers in model-based testing
    532 -- 557Sébastien Chédor, Thierry Jéron, Christophe Morvan. Test generation from recursive tile systems
    558 -- 590Hernán Ponce de León, Stefan Haar, Delphine Longuet. Model-based testing for concurrent systems with labelled event structures
    runs on