A new publication has been accepted by the International Conference on Software Engineering (ICSE 2024) (A* CORE Ranking) taking place in April 2024 in Lisbon. Felix Wallner, Bernhard K. Aichernig, and Christian Burghard. 2024. It’s Not a Feature, It’s a …
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. …
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 …
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 …
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 …
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 …