8 citations · 10 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
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…