2 citations · 2 across the 1 of their papers we have counts for
3 papers
cs.FL2019★ 2 cited
Relating Alternating Relations for Conformance and Refinement
Ramon Janssen, Frits Vaandrager, Jan Tretmans
Various relations have been defined to express refinement and conformance for state-transition systems with inputs and outputs, such as ioco and uioco in the area of model-based te…
cs.FL2019
State Identification for Labeled Transition Systems with Inputs and Outputs
Petra van den Bos, Frits Vaandrager
For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely…
cs.GT2018
Tester versus Bug: A Generic Framework for Model-Based Testing via Games
Petra van den Bos, Marielle Stoelinga
We propose a generic game-based approach for test case generation. We set up a game between the tester and the System Under Test, in such a way that test cases correspond to game s…