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.FL2025
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…