Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model‐based testing. (November 2014)