A new publication has been accepted by the ACM Journal Formal Aspects of Computing (FAC) in June 2023. Bernhard K. Aichernig, Martin Tappler, and Felix Wallner. 2023. Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. Form. Asp. Comput. …

Publication in FAC Read more »

A new publication has been accepted by the FMAS 2022. Bernhard K. Aichernig, Edi Muškardin, and Andrea Pferscher : “Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols.”, In Farrell, M., Luckcuck M. (eds.) Formal Methods for …

Publication at FMAS 2022 Read more »

A new publication has been accepted by the SEFM 2022. Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, and Martin Tappler: “Constrained Training of Recurrent Neural Networks for Automata Learning.”, In Schlinghoff, H., Chai M. (eds.) Software …

Publication at SEFM 2022 Read more »

A new publication has been presented at the NFM 2022. Andrea Pferscher and Bernhard K. Aichernig: “Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning.”, In Deshmukh, J. V., Havelund, K., Perez, I. (eds.) NASA Formal Methods – 14th International …

Publication at NFM 2022 Read more »

A new publication has been presented at the FM 2021. Andrea Pferscher and Bernhard K. Aichernig: “Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning”, In Huisman, M., Pasareanu, C.S., Zhan, N. (eds.) Formal Methods – 24th International Symposium, FM …

Publication at FM 2021 Read more »