5 citations · 19 across the 12 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Structural Morphisms for Nested Conditions - Full Version
Arend Rensink, Andrea Corradini
Nested conditions are used, among other things, as a graphical way to express first order formulas ruling the applicability of a graph transformation rule to a given match. In this…
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…