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…