Proceedings 7th Workshop on Model-Based Testing

  title={Proceedings 7th Workshop on Model-Based Testing},
  author={A. Petrenko and Holger Schlingloff},
  • A. Petrenko, Holger Schlingloff
  • Published 2012
  • Computer Science
  • This volume contains the proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), which was held on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012. The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results evaluation… CONTINUE READING