Papers of the Month: July 2026

EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS - AND PERFORMANCES IN THE MEDIA - TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:

• Quick Bug Detection Through Black-Box Checking: a Systematic Evaluation, by Bram Pellen, María Belén Rodríguez, Frits Vaandrager and Petra van den Bos. Accepted at ASE 2026
• PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing, by María Belén Rodríguez and Petra van den Bos, won the best paper award at ECMFA 2026