@InBook{Schieferdecker2010e,
  author    = {Ina Kathrin Schieferdecker and Axel Rennoch and Alain Vouffo{-}Feudjio},
  booktitle = {Encyclopedia of Software Engineering},
  title     = {Model-Based Testing: Approaches and Notations},
  doi       = {10.1081/E-ESE},
  editor    = {Phillip A. Laplante},
  pages     = {571--576},
  publisher = {Auerbach Publications},
  abstract  = {Model-based testing (MBT) constitutes a number of technologies, methods, and approaches with the aim of improving the quality, efficiency, and effectiveness of test processes, tasks, and artifacts. The entry investigates MBT approaches and the languages and notations used. It is the successor entry to model-based testing by the same authors.},
  file      = {:2010/Schieferdecker2010e - Model Based Testing_ Approaches and Notations.pdf:PDF},
  type      = {inbook},
  year      = {2010}
}