Please find a list of selected publications relevant to MoMuT below. Authors are listed in alphabetical order.

  • [DOI] B. Aichernig, H. Brandl, E. Jöbstl, W. Krenn, R. Schlick, and S. Tiran, “MoMuT::UML model-based mutation testing for UML,” in Software testing, verification and validation (icst), 2015 ieee 8th international conference on, 2015, pp. 1-8.
    author={Aichernig, B. and Brandl, H. and J{\"o}bstl, E. and Krenn, W. and Schlick, R. and Tiran, S.},
    booktitle={Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on},
    title={{{MoMuT}}::{{UML}} Model-Based Mutation Testing for {{UML}}},
    keywords={Unified Modeling Language;program testing;MBMT;MoMut::UML;black-box testing;control-flow coverage;data-flow coverage;model-based mutation testing;test case generation;test cases;Object oriented modeling;Testing}
  • [DOI] P. Daca, T. A. Henzinger, W. Krenn, and D. Ničković, “Compositional specifications for ioco testing,” in Software testing, verification and validation (icst), seventh international conference on, 2014, pp. 373-382.
    author={Daca, Przemyslaw and Henzinger, Thomas A and Krenn, Willibald and Ni\v{c}kovi\'{c}, Dejan},
    booktitle={Software Testing, Verification and Validation (ICST), Seventh International Conference on},
    title={Compositional Specifications for ioco Testing},
    keywords={compositional testing;model-based testing},
  • [DOI] B. K. Aichernig, K. Hörmaier, F. Lorber, D. Ničković, R. Schlick, D. Simoneau, and S. Tiran, “Integration of Requirements Engineering and Test-Case Generation via OSLC,” in Qsic ’14: proceedings of the 2014 14th international conference on quality software, Dallas, USA, 2014, p. 117–126.
    author = {Bernhard K. Aichernig and Klaus H{\"o}rmaier and Florian Lorber and Dejan Ni\v{c}kovi\'{c} and Rupert Schlick and Didier Simoneau and Stefan Tiran},
    title = {{{Integration of Requirements Engineering and Test-Case Generation via {OSLC}}}},
    booktitle = {QSIC '14: Proceedings of the 2014 14th International Conference on Quality Software},
    year = {2014},
    pages = {117--126},
    address = {Dallas, USA},
    publisher = {IEEE Computer Society},
    doi = {10.1109/QSIC.2014.13},
    abstract = {We present a requirement-centered analysis and testing framework that integrates methods and tools for capturing and formalizing textual customer requirements, analyzing
    requirements consistency, generating test cases from formalized requirements and executing them on the implementation model. The framework preserves a fine grained traceability of informal and formal requirements, test cases and implementation models throughout every step of the workflow. We instantiate the framework with concrete tools that we
    integrate via a file repository and Open Services for Lifecycle Collaboration (OSLC). The standardized integration ensures that
    the framework remains generic - any specific tool used in our instantiation can be replaced by another one with compatible
    functionality. We apply our framework on an industrial airbag control chip case study that we use to illustrate step-by-step our requirements-driven analysis and test methodology.},
  • [DOI] B. K. Aichernig, K. Hörmaier, and F. Lorber, “Debugging with timed automata mutations,” in Computer safety, reliability, and security, A. Bondavalli and F. Di Giandomenico, Eds., Springer international publishing, 2014, vol. 8666, pp. 49-64.
    booktitle={Computer Safety, Reliability, and Security},
    series={Lecture Notes in Computer Science},
    editor={Bondavalli, Andrea and Di Giandomenico, Felicita},
    title={Debugging with Timed Automata Mutations},
    publisher={Springer International Publishing},
    keywords={Timed automata; debugging; model-based mutation debugging; mutation testing; model-based testing; language inclusion; mutation operators},
    author={Aichernig, Bernhard K. and H{\"o}rmaier, Klaus and Lorber, Florian},
  • [DOI] B. K. Aichernig, E. Jöbstl, and S. Tiran, “Model-based mutation testing via symbolic refinement checking,” Science of computer programming, 2014.
    author = {Bernhard K. Aichernig and Elisabeth J{\"o}bstl and Stefan Tiran},
    title = {{{Model-based mutation testing via symbolic refinement checking}}},
    journal = {Science of Computer Programming},
    doi = {10.1016/j.scico.2014.05.004},
    publisher = {Elsevier},
    year = {2014},
    abstract = {In model-based mutation testing, a test model is mutated for test case generation. The resulting test cases are able to detect whether the faults in the mutated models have been implemented in the system under test. For this purpose, a conformance check between the original and the mutated model is required. The generated counterexamples serve as basis for the test cases. Unfortunately, conformance checking is a hard problem and requires sophisticated verification techniques. Previous attempts using an explicit conformance checker suffered state space explosion. In this paper, we present several optimisations of a symbolic conformance checker using constraint solving techniques. The tool efficiently checks the refinement between non-deterministic test models. Compared to previous implementations, we could reduce our runtimes by 97\%. In a new industrial case study, our optimisations can reduce the runtime from over 6 hours to less than 3 minutes},
  • [DOI] B. K. Aichernig, H. Brandl, E. Jöbstl, W. Krenn, R. Schlick, and S. Tiran, “Killing strategies for model-based mutation testing,” Software testing, verification and reliability, p. n/a–n/a, 2014.
    title = {Killing strategies for model-based mutation testing},
    issn = {09600833},
    shorttitle = {Killing strategies for model-based mutation testing},
    url = {},
    doi = {10.1002/stvr.1522},
    urldate = {2014-02-19},
    journal = {Software Testing, Verification and Reliability},
    author = {Aichernig, Bernhard K. and Brandl, Harald and J{\"o}bstl, Elisabeth and Krenn, Willibald and Schlick, Rupert and Tiran, Stefan},
    month = feb,
    year = {2014},
    pages = {n/a--n/a},
  • [DOI] B. K. Aichernig, J. Auer, E. Jöbstl, R. Korošec, W. Krenn, R. Schlick, and B. V. Schmidt, “Model-based mutation testing of an industrial measurement device,” in Tests and proofs, M. Seidl and N. Tillmann, Eds., Springer international publishing, 2014, vol. 8570, p. 1–19.
    series = {Lecture Notes in Computer Science},
    title = {Model-Based Mutation Testing of an Industrial Measurement Device},
    volume = {8570},
    isbn = {978-3-319-09098-6},
    url = {},
    doi = {10.1007/978-3-319-09099-3_1},
    language = {English},
    booktitle = {Tests and Proofs},
    publisher = {Springer International Publishing},
    author = {Aichernig, Bernhard K. and Auer, Jakob and J{\"o}bstl, Elisabeth and Koro\v{s}ec, Robert and Krenn, Willibald and Schlick, Rupert and Schmidt, Birgit Vera},
    editor = {Seidl, Martina and Tillmann, Nikolai},
    year = {2014},
    keywords = {automotive industry, model-based testing, mutation testing, test case generation, {UML}},
    pages = {1--19}
  • [DOI] W. Krenn, D. Ničković, and L. Tec, “Incremental language inclusion checking for networks of timed automata,” in Formal modeling and analysis of timed systems, V. Braberman and L. Fribourg, Eds., Springer berlin heidelberg, 2013, vol. 8053, pp. 152-167.
    booktitle={Formal Modeling and Analysis of Timed Systems},
    series={Lecture Notes in Computer Science},
    editor={Braberman, V\'{i}ctor and Fribourg, Laurent},
    title={Incremental Language Inclusion Checking for Networks of Timed Automata},
    publisher={Springer Berlin Heidelberg},
    author={Krenn, Willibald and Ni\v{c}kovi\'{c}, Dejan and Tec, Loredana},
  • W. Krenn, R. Schlick, and B. K. Aichernig, “Mapping UML to labeled transition systems for test-case generation: a translation via object-oriented action systems,” in Proceedings of the 8th international conference on formal methods for components and objects, Berlin, Heidelberg, 2010, p. 186–207.
    address = {Berlin, Heidelberg},
    series = {{FMCO}'09},
    title = {Mapping {UML} to Labeled Transition Systems for Test-case Generation: A Translation via Object-oriented Action Systems},
    isbn = {3-642-17070-6, 978-3-642-17070-6},
    url = {},
    booktitle = {Proceedings of the 8th International Conference on Formal Methods for Components and Objects},
    publisher = {Springer-Verlag},
    author = {Krenn, Willibald and Schlick, Rupert and Aichernig, Bernhard K.},
    year = {2010},
    pages = {186–207},
  • [DOI] B. K. Aichernig, H. Brandl, and W. Krenn, “Qualitative action systems,” in Formal methods and software engineering, D. Hutchison, T. Kanade, J. Kittler, J. M. Kleinberg, F. Mattern, J. C. Mitchell, M. Naor, O. Nierstrasz, C. Pandu Rangan, B. Steffen, M. Sudan, D. Terzopoulos, D. Tygar, M. Y. Vardi, G. Weikum, K. Breitman, and A. Cavalcanti, Eds., Berlin, Heidelberg: Springer berlin heidelberg, 2009, vol. 5885, p. 206–225.
    address = {Berlin, Heidelberg},
    title = {Qualitative Action Systems},
    volume = {5885},
    isbn = {978-3-642-10372-8, 978-3-642-10373-5},
    url = {},
    doi = {10.1007/978-3-642-10373-5_11},
    urldate = {2014-02-19},
    booktitle = {Formal Methods and Software Engineering},
    publisher = {Springer Berlin Heidelberg},
    author = {Aichernig, Bernhard K. and Brandl, Harald and Krenn, Willibald},
    editor = {Hutchison, David and Kanade, Takeo and Kittler, Josef and Kleinberg, Jon M. and Mattern, Friedemann and Mitchell, John C. and Naor, Moni and Nierstrasz, Oscar and Pandu Rangan, C. and Steffen, Bernhard and Sudan, Madhu and Terzopoulos, Demetri and Tygar, Doug and Vardi, Moshe Y. and Weikum, Gerhard and Breitman, Karin and Cavalcanti, Ana},
    year = {2009},
    pages = {206--225},