Journal Papers

  1. 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)
  2. 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)
  3. 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)
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. 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)
  9. 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 (PDF) (doi:10.1007/s00165-008-0083-6)
  10. 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)
  11. 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)
  12. 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)
  13. 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)