Model-Based Testing for Embedded Systems: Computational Analysis, Synthesis, and Application
Book Description This book provides a comprehensive overview of model-based testing (MBT) for embedded systems. MBT is a powerful testing approach that uses models to represent the system's behavior and to generate test cases....