Benchmarks for Automata Learning and Conformance Testing

D. Neider, R. Smetsers, F.W. Vaandrager, and H. Kuppens. Benchmarks for Automata Learning and Conformance Testing. In T. Margaria, K.G. Larsen and S. Graf, editors. Festschrift Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. LNCS 11200, 2019. To appear.

Abstract

We describe a large collection of benchmarks, publicly available through the wiki automata.cs.ru.nl, of different types of state machine models: DFAs, Moore machines, Mealy machines, interface automata and register automata. Our repository includes both randomly generated state machines and models of real protocols and embedded software/hardware systems. These benchmarks will allow researchers to evaluate the performance of new algorithms and tools for active automata learning and conformance testing.

Paper (pdf)