@Article{Schieferdecker2012b,
  author    = {Ina Kathrin Schieferdecker},
  title     = {Model-Based Testing},
  doi       = {10.1109/MS.2012.13},
  issn      = {0740-7459},
  pages     = {14--18},
  volume    = {29, no. 1},
  abstract  = {Model-based testing (MBT) strives to automatically and systematically generate test cases. In this column, Ina Schieferdecker introduces MBT technologies and methods.},
  file      = {:2012/Schieferdecker2012b - Model Based Testing.pdf:PDF},
  journal   = {IEEE Software},
  keywords  = {program testing, MBT, model-based testing, Modeling, Software design, Software testing, Testing, Software engineering, Software methods, Software tools},
  publisher = {Institute of Electrical {\&} Electronics Engineers ({IEEE})},
  type      = {article},
  year      = {2012}
}