5 citations · 19 across the 12 of their papers we have counts for
5 papers · 1 filter
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…
A Model-Derivation Framework for Software Analysis
Bugra M. Yildiz, Arend Rensink, Christoph Bockisch +1
Model-based verification allows to express behavioral correctness conditions like the validity of execution states, boundaries of variables or timing at a high level of abstraction…
Proceedings Graphs as Models
Arend Rensink, Eduardo Zambon
This volume contains the proceedings of the (first) Graphs as Models (GaM) 2015 workshop, held on 10-11 April 2015 in London, U.K., as a satellite workshop of ETAPS 2015, the Europ…
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case
Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink +1
This report presents a solution to the Hello World case study of TTC 2011 using GROOVE. We provide and explain the grammar that we used to solve the case study. Every requested que…
Solving the TTC 2011 Compiler Optimization Case with GROOVE
Arend Rensink, Eduardo Zambon
This report presents a partial solution to the Compiler Optimization case study using GROOVE. We explain how the input graphs provided with the case study were adapted into a GROOV…