6 citations · 10 across the 5 of their papers we have counts for
1 paper · 1 filter
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,…