6 papers
PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
MarÃa Belén RodrÃguez, Petra van den Bos
This paper combines methods from the fields of Model-Based Testing (MBT) and Behaviour-Driven Development (BDD) to define a testing approach with human-readable specifications and…
Disjunction Composition of BDD Transition Systems for Model-Based Testing
Tannaz Zameni, Petra van den Bos, Arend Rensink
We introduce a compositional approach to model-based test generation in Behavior-Driven Development (BDD). BDD is an agile methodology in which system behavior is specified through…
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…
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…
With a little help from your friends: semi-cooperative games via Joker moves
Petra van den Bos, Marielle Stoelinga
This paper coins the notion of Joker games, a variant of concurrent games where the players are not strictly adversarial. Instead, Player 1 can get help from Player 2 by playing a…