1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2025
Systematic Evaluation of Black-Box Checking for Fast Bug Detection
Bram Pellen, María Belén Rodríguez, Frits Vaandrager +1
Combinations of active automata learning, model-based testing and model checking have been successfully used in numerous applications, e.g., for spotting bugs in implementations of…
cs.FL2024★ 1 cited
New Fault Domains for Conformance Testing of Finite State Machines
Frits Vaandrager, Ivo Melse
A fault domain reflects a tester's assumptions about faults that may occur in an implementation and that need to be detected during testing. A fault domain that has been widely stu…