Compositional Specifications for ioco Testing

Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn +1

Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays,…