3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.SE2019
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,…
cs.SE2016★ 3 cited
Mutation-driven Test Case Generation Using Short-lived Concurrent Mutants -- First Results
Willibald Krenn, Rupert Schlick
In the context of black-box testing, generating test cases through model mutation is known to produce powerful test suites but usually has the drawback of being prohibitively expen…