Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing

Achim D. Brucker, Jacques Julliand. Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing. Softw. Test., Verif. Reliab., 24(7):497-498, 2014. [doi]

Abstract

Abstract is missing.