Model Learning and Model-Based Testing
Aichernig, Bernhard K., Mostowski, Wojciech, Mousavi, Mohammad Reza, Tappler, Martin, Taromirad, Masoumeh
Published in Machine Learning for Dynamic Software Analysis (2018)
Published in Machine Learning for Dynamic Software Analysis (2018)
Get full text
Book Chapter
Conference Proceeding
Learning minimal automata with recurrent neural networks
Aichernig, Bernhard K., König, Sandra, Mateis, Cristinel, Pferscher, Andrea, Tappler, Martin
Published in Software and systems modeling (01.06.2024)
Published in Software and systems modeling (01.06.2024)
Get full text
Journal Article
Active model learning of stochastic reactive systems (extended version)
Muškardin, Edi, Tappler, Martin, Aichernig, Bernhard K., Pill, Ingo
Published in Software and systems modeling (01.04.2024)
Published in Software and systems modeling (01.04.2024)
Get full text
Journal Article
Special issue on testing extra‐functional properties
Saadatmand, Mehrdad, Lindström, Birgitta, Aichernig, Bernhard K.
Published in Software testing, verification & reliability (01.01.2020)
Published in Software testing, verification & reliability (01.01.2020)
Get full text
Journal Article
Killing strategies for model-based mutation testing
Aichernig, Bernhard K., Brandl, Harald, Jöbstl, Elisabeth, Krenn, Willibald, Schlick, Rupert, Tiran, Stefan
Published in Software testing, verification & reliability (01.12.2015)
Published in Software testing, verification & reliability (01.12.2015)
Get full text
Journal Article
AALpy: an active automata learning library
Muškardin, Edi, Aichernig, Bernhard K., Pill, Ingo, Pferscher, Andrea, Tappler, Martin
Published in Innovations in systems and software engineering (01.09.2022)
Published in Innovations in systems and software engineering (01.09.2022)
Get full text
Journal Article
L∗-based learning of Markov decision processes (extended version)
Tappler, Martin, Aichernig, Bernhard K., Bacci, Giovanni, Eichlseder, Maria, Larsen, Kim G.
Published in Formal aspects of computing (01.08.2021)
Published in Formal aspects of computing (01.08.2021)
Get full text
Journal Article
Bounded determinization of timed automata with silent transitions
Lorber, Florian, Rosenmann, Amnon, Ničković, Dejan, Aichernig, Bernhard K.
Published in Real-time systems (01.05.2017)
Published in Real-time systems (01.05.2017)
Get full text
Journal Article
Require, test, and trace IT
Aichernig, Bernhard K., Hörmaier, Klaus, Lorber, Florian, Ničković, Dejan, Tiran, Stefan
Published in International journal on software tools for technology transfer (01.08.2017)
Published in International journal on software tools for technology transfer (01.08.2017)
Get full text
Journal Article
Learning and statistical model checking of system response times
Aichernig, Bernhard K., Bauerstätter, Priska, Jöbstl, Elisabeth, Kann, Severin, Korošec, Robert, Krenn, Willibald, Mateis, Cristinel, Schlick, Rupert, Schumi, Richard
Published in Software quality journal (01.06.2019)
Published in Software quality journal (01.06.2019)
Get full text
Journal Article
Special section of Tests and Proofs 2016
Aichernig, Bernhard K., Furia, Carlo A., Gaudel, Marie-Claude, Hierons, Rob
Published in Formal aspects of computing (01.11.2018)
Published in Formal aspects of computing (01.11.2018)
Get full text
Journal Article