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.SE2025
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…