Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)Introducing MaFIN. A dynamic matrices finite state automata test
KUNZE, Thiemo; KRIEGER, Florian; STADLER, Matthias et al.
2018 • 11th Conference of the International Test Commission