2 papers
cs.SE2026
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…
cs.SE2026
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…