Model-Based Testing Techniques

View at publisher
Authors: Yichen Wang, Yikun Wang, Fuqun Huang
Cited by: 0

Fields of Study & Subjects

Software Testing and Debugging Techniques Advanced Software Engineering Methodologies Formal Methods in Verification

Publication details

Journal / source
Springer eBooks
Pages
247–318
Publication date
1 January 2026
Language
EN
Document type
Book chapter