Journal Papers

  1. 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), 2017. In press. (PDF)
  2. 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)
  3. 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)
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. 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)
  9. 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)
  10. 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)
  11. 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)
  12. 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)