http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Model-based testing for embedded systems
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 beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading ex.
Pt. 1. Introduction -- pt. 2. Automatic test generation -- pt. 3. Integration and multilevel testing -- pt. 4. Specific approaches -- pt. 5. Testing in industry -- pt. 6. Testing at lower levels of development.
edited by Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman.
Description based upon print version of record.
Computational analysis, synthesis, and design of dynamic models series