Industrial-Strength Model-Based Testing - State of the Art and Current Challenges

As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT variants that - according to our experience - are currently applied in practice, with special emphasis on the avionic, railway and automotive domains. The key factors for successf...

Full description

Bibliographic Details
Main Author: Jan Peleska
Format: Article
Language:English
Published: Open Publishing Association 2013-03-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1303.1006v1