What the experts have to say about Model-Based Testing for Embedded Systems:" This
book is exactly what is needed at the exact right time in this fast-growing area. From its …

In this dissertation we report on our main research contributions dealing with Model-Based
Testing of Dynamic and Distributed Real-Time Systems, performed during the last ten years …

摘要测试在需求分析阶段就开始介入, 不仅能帮助开发人员更有效地完善需求,
也能让测试人员设计出更贴近需求的测试. 同时当需求进行了更改之后, 测试人员也能及时和 …

As systems have been and are becoming more and more complex, the task of quality
assurance is increasingly challenging. Model-based testing is a research field addressing …

This paper presents a field study about the inherent challenges involved in the design of
Cyber-Physical Systems and how Model-Based Design (MBD) is currently being utilized in …

Testing for security related issues is an important task of growing interest due to the vast
amount of applications and services available over the internet. In practice testing for …

This chapter provides a taxonomy of Model-Based Testing (MBT) based on the approaches
that are presented throughout this book as well as in the related literature. The techniques …

Software engineering studies run in classroom environments can and have made important
contributions to empirical software engineering. Because the goal of such studies is to …

This paper describes an approach for model-based testing which is completely based on
standards, what constitutes an essential factor for its implantation in industrial software tools …

In this work, we report on our experience in defining and applying a model-based approach
for the automatic generation of test scripts for product variants in software product lines. The …