Publikationen pro Jahr
Publikationen pro Jahr
- 3 Ergebnisse
Suchergebnisse
-
2024
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
Aichernig, B., Tappler, M. & Wallner, F., 20 März 2024, in: Formal Aspects of Computing. 36, 1, S. 1-37 38 S., 3.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open AccessDatei -
It’s Not a Feature, It’s a Bug: Fault-Tolerant Model Mining from Noisy Data
Wallner, F., Aichernig, B. K. & Burghard, C., 6 Feb. 2024, ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering. IEEE Computer Society, 1998Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access -
2020
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
Aichernig, B., Tappler, M. & Wallner, F., 2020, Tests and Proofs - 14th International Conference, TAP 2020, held as part of STAF 2020, Proceedings. Ahrendt, W. & Wehrheim, H. (Hrsg.). S. 3-22 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12165 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung