Journal Papers


  1. Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, and Martin Tappler. Aalpy: an active automata learning library. Innovations in Systems and Software Engineering, a NASA Journal, 18(3):417–426, 2022. Open Access. (doi:10.1007/S11334-022-00449-3)
  2. Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, and Kim G. Larsen. L*-based learning of markov decision processes (extended version). Formal Aspects of Computing, 33(4-5):575–615, 2021. Open Access. (doi:10.1007/S00165-021-00536-5)
  3. Bernhard K. Aichernig and Martin Tappler. Efficient active automata learning via mutation testing. Journal of Automated Reasoning, 63(4):1103–1134, 2019. Open Access. (doi:10.1007/s10817-018-9486-0)
  4. Bernhard K. Aichernig and Martin Tappler. Probabilistic black-box reachability checking (extended version). Formal Methods in System Design, 54(3):416–448, 2019. Open Access. (doi:10.1007/s10703-019-00333-0)
  5. Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, and Richard Schumi. Learning and statistical model checking of system response times. Software Quality Journal, 27(2):757–795, 2019. Open Access. (PDF) (doi:10.1007/s11219-018-9432-8)
  6. Bernhard K. Aichernig and Richard Schumi. Property-based testing of web services by deriving properties from business-rule models. Software and System Modeling, 18(2):889–911, 2019. Open Access. (PDF) (doi:10.1007/s10270-017-0647-0)
  7. Bernhard K. Aichernig and Martin Tappler. Efficient active automata learning via mutation testing. Journal of Automated Reasoning, 2018. Open Access, First Online: 25 Oct 2018. (PDF) (doi:10.1007/s10817-018-9486-0)
  8. Florian Lorber, Amnon Rosenmann, Dejan Nickovic, and Bernhard K. Aichernig. Bounded determinization of timed automata with silent transitions. Real-Time Systems, 53(3):291–326, 2017. Open Access. (PDF) (doi:10.1007/s11241-017-9271-x)
  9. Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, and Stefan Tiran. Require, test, and trace IT. International Journal on Software Tools for Technology Transfer (STTT), 19:409–426, 2017. Open Access. Published online: 29 November 2016. (PDF) (doi:10.1007/s10009-016-0444-z)
  10. Bernhard K. Aichernig, Elisabeth Jöbstl, and Martin Tappler. Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. Journal of Logical and Algebraic Methods in Programming, 85(5, Part 2):806–823, 2016. (PDF) (doi:10.1016/j.jlamp.2016.02.002)
  11. Bernhard K. Aichernig, Elisabeth Jöbstl, and Stefan Tiran. Model-based mutation testing via symbolic refinement checking. Science of Computer Programming, 97:383–404, 2015. (PDF) (doi:10.1016/j.scico.2014.05.004)
  12. Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, and Stefan Tiran. Killing strategies for model-based mutation testing. Journal of Software Testing, Verification and Reliability (STVR), 25(8):716–748, 2015. (PDF) (doi:10.1002/stvr.1522)
  13. Stefan J. Galler and Bernhard K. Aichernig. Survey on test data generation tools: an evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java. International Journal on Software Tools for Technology Transfer (STTT), 16(6):727–751, April 2013. (PDF)
  14. Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, and Jan Rutten. Connectors as designs: Modeling, refinement and test case generation. Science of Computer Programming, 77(7/8):799–822, 2012. (PDF)
  15. Martin Weiglhofer, Bernhard Aichernig, and Franz Wotawa. Fault-based conformance testing in practice. International Journal of Software and Informatics, 3(2–3):375–411, June/September 2009. Copyright by Institute for Software, Chinese Academy of Science. (PDF)
  16. Bernhard K. Aichernig and Jifeng He. Mutation testing in UTP. Formal Aspects of Computing, 21(1-2):33–64, February 2009. Copyright owned by BCS. The original publication is available at springerlink.com. (PDF) (doi:10.1007/s00165-008-0083-6)
  17. Sun Meng, Zhang Naixiao, and Bernhard K. Aichernig. The Formal Foundations in RSL for UML Statechart Diagrams. Acta Scientiarum Naturalium Universitatis Pekinensis, 41(3):344–357, 2005. ISSN 0479-8023. (PDF)
  18. Bernhard K. Aichernig. Mutation Testing in the Refinement Calculus. Formal Aspects of Computing, 15(2-3):280–295, 2003. (PDF) (doi:10.1007/s00165-003-0011-8)
  19. Bernhard K. Aichernig. Test-design through abstraction — a systematic approach based on the refinement calculus. Journal of Universal Computer Science, 7(8):710–735, August 2001. (PDF) (doi:10.3217/jucs-007-08-0710)
  20. Johann Hörl and Bernhard K. Aichernig. Validating voice communication requirements using lightweight formal methods. IEEE Software, 17(3):21–27, May/June 2000. (doi:10.1109/52.896246)