- TitleYearType
"Active Learning of Mealy Machines with Timers" accepted at QEST+FORMATS
The paper Active Learning of Mealy Machines with Timers by Véronique Bruyère, Bharat Garhewal, Guillermo Perez, Gaëtan Staquet and Frits Vaandrager has been accepted for publication at QEST+FORMATS 2…"New Fault Domains for Conformance Testing of Finite State Machines" accepted at CONCUR 2025
The paper New Fault Domains for Conformance Testing of Finite State Machines by Frits Vaandrager and Ivo Melse has been accepted for publication at CONCUR 2025. The abstract is included below.
A fau…EVI presentation at the SEN Symposium
On Friday 23rd May, we will be part of the national symposium for Dutch researchers on Systems Engineering, the SEN Symposium, in Amsterdam. Frits Vaandrager will present a lightning talk about the E…EVI project Kick-Off Meeting
On March 28, the very first EVI project meeting took place at Radboud University, in Nijmegen. We shared lunch together and exchanged ideas, discussing potential approaches for the project and our ro…First release of the Lattest library for Haskell
Last week, the first version of Lattest was released and is now available on Hackage. Lattest is a Haskell library developed to assist in model-based testing; it provides capabilities for modelling s…Paper accepted at ASE'26
The paper Quick Bug Detection Through Black-Box Checking: a Systematic Evaluation authored by Bram Pellen, María Belén Rodriguez, Frits Vaandrager and Petra van den Bos was accepted for publication a…Paper accepted at CAV'26
The paper "An L# Based Algorithm for Active Learning of Minimal Separating Automata" by Jasper Laumen, Leonne Snel and Frits Vaandrager will appear in the Proceedings of the 38th International Confer…Paper accepted at ECMFA 2026 (and Best Paper Award!)
The paper PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing authored by María Belén Rodríguez and Petra van den Bos was accepted for publication at ECMFA 202…
