Proceedings Eighth Workshop on Model-Based Testing
Alexander K. Petrenko (Institute for System Programming of Russian, Academy of Sciences, Russia), Holger Schlingloff (Fraunhofer FOKUS, Humboldt, University of Berlin, Germany)

TL;DR
This paper presents the proceedings of the Eighth Workshop on Model-Based Testing, highlighting recent advances, applications, and trends in using models to guide testing of software and hardware systems.
Contribution
It compiles recent research and developments in model-based testing, emphasizing its growing importance and applications in software, hardware, and security testing.
Findings
MBT is a powerful system analysis tool.
Growing scientific interest in MBT applications.
MBT is increasingly used in security testing.
Abstract
This volume contains the proceedings of the Eighth Workshop on Model-Based Testing (MBT 2013), which was held on March 17, 2013 in Rome, Italy, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013. 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. Testing validates the real system behavior against models and checks that the implementation conforms to them, but is capable also to find errors in the models themselves. The first MBT workshop was held in 2004, in Barcelona. At that time MBT already had become a hot topic, but the MBT workshop was the first event devoted mostly to this domain. Since that time the area has generated enormous…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
