Papers of the Month: August 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:

• Best Paper Award was won at SLE 2026 for SLE as an Evolving Body of Knowledge: A 19-Year Comparative Analysis of Calls and Proceedings, by Vadim Zaytsev. 
• ChatWalker: Towards Model-Based Testing of Generative Conversational Agents, by Marcus Gerhold. Accepted at QA4Agents - 1st International Workshop on Quality Assurance of Conversational Agentic Systems, co-located with The 37th IEEE International Symposium on Software Reliability Engineering (ISSRE)