Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model‐based testing. (November 2014) - Brucker, Achim D.; Julliand, Jacques; Brucker, Achim D.; Julliand, Jacques