Systematic Evaluation of Black-Box Checking for Fast Bug Detection. - Bram Pellen; María Belén Rodríguez; Frits W. Vaandrager; Petra van den Bos (CoRR, 2025)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing. - María Belén Rodríguez; Petra van den Bos (CoRR, 2026)