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

By Achim D. Brucker and Jacques Julliand.

Please cite this work as follows:
A. D. Brucker and J. Julliand, “Editorial for the special issue of STVR on tests and proofs volume 1: Tests and proofs in model-based testing,” Software Testing, Verification & Reliability (STVR), vol. 24, no. 7, pp. 497–498, Nov. 2014, doi: 10.1002/stvr.1560.

BibTeX
@Article{ brucker.ea:stvr-tap-vol-1:2014,
  author  = {Achim D. Brucker and Jacques Julliand},
  editor  = {Achim D. Brucker and Jacques Julliand},
  title   = {Editorial for the special issue of {STVR} on tests and proofs
             volume 1: tests and proofs in model-based testing},
  journal = {Software Testing, Verification \& Reliability (STVR) },
  year    = {2014},
  volume  = {24},
  number  = {7},
  pages   = {497--498},
  doi     = {10.1002/stvr.1560},
  month   = {nov},
}