8 citations · 10 across the 5 of their papers we have counts for
5 papers
Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
Laura Brandán Briones, Marcus Gerhold, Petra van den Bos +1
Model-based testing (MBT) derives test suites from a behavioural specification of the system under test. In practice, engineers favour simple models, such as labelled transition sy…
Verified Parameterized Choreographies Technical Report
Robert Rubbens, Petra van den Bos, Marieke Huisman
This technical report contains the full set of definitions and projection rules of the paper ``Verified Parameterized Choreographies'' by Rubbens et al. It also supplements the art…
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…
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…
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…