Bernhard K. Aichernig

Model-Based Testing IoT Communication via Active Automata Learning

Martin Tappler, Bernhard K. Aichernig, Roderick Bloem · 2017 · 114 citations · Full text

Computing, Computer Science, Computer Systems +17

Test Case Generation by OCL Mutation and Constraint Solving

Bernhard K. Aichernig, Percy A. Pari Salas · 2006 · 73 citations

Computing, Computer Engineering, Computer Science +15

Killing strategies for model‐based mutation testing

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl et al. · Software Testing Verification and Reliability · 2014 · 68 citations · Full text

Engineering, Computer Engineering, Fault-tolerant Computing +14

MoMut::UML Model-Based Mutation Testing for UML

Willibald Krenn, Rupert Schlick, Stefan Tiran et al. · 2015 · 52 citations

Computing, Computer Engineering, Computer Science +15

AALpy: an active automata learning library

Edi Muškardin, Bernhard K. Aichernig, Ingo Pill et al. · Innovations in Systems and Software Engineering · 2022 · 51 citations · Full text

Computing, Computer Science, Algorithms +9