Elisabeth Jöbstl‘s Publications

[1]

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, and Stefan Tiran. MoMuT::UML - model-based mutation testing for UML. In IEEE 8^th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. IEEE Computer Society, 2015. [ bib | DOI | .pdf ]

[2]

Bernhard K. Aichernig, Elisabeth Jöbstl, and Stefan Tiran. Model-based mutation testing via symbolic refinement checking. Science of Computer Programming, 97, Part 4(0):383--404, 2015. Special Issue: Selected Papers from the 12th International Conference on Quality Software (QSIC 2012). [ bib | DOI ]

[3]

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, and Stefan Tiran. Killing strategies for model-based mutation testing. Software Testing, Verification and Reliability, 25(8):716--748, 2015. [ bib | DOI ]

[4]

Elisabeth Jöbstl. Model-Based Mutation Testing with Constraint and SMT Solvers. PhD thesis, Graz University of Technology, Institute for Software Technology, 2014. [ bib | http ]

[5]

Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korošec, Willibald Krenn, Rupert Schlick, and Birgit Vera Schmidt. Model-Based Mutation Testing of an Industrial Measurement Device. In TAP, volume 8570 of LNCS, pages 1--9. Springer, 2014. [ bib | .pdf ]

[6]

Bernhard K. Aichernig, Elisabeth Jöbstl, and Matthias Kegele. Incremental Refinement Checking for Test Case Generation. In Margus Veanes and Luca Viganò, editors, Tests and Proofs, volume 7942 of Lecture Notes in Computer Science, pages 1--19. Springer Berlin Heidelberg, 2013. [ bib | DOI ]

[7]

Bernhard K. Aichernig and Elisabeth Jöbstl. Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking. In 7th Workshop on Model-Based Testing (MBT 2012), volume 80 of EPTCS, pages 88--102, 2012. [ bib | DOI ]

[8]

Bernhard K. Aichernig and Elisabeth Jöbstl. Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. In Workshops Proc. of the IEEE 5^th Int. Conf. on Software Testing, Verification and Validation (ICST 2012), pages 752--757. IEEE Computer Society, 2012. [ bib | DOI ]

[9]

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. Efficient Mutation Killers in Action. In IEEE 4^th Int. Conf. on Software Testing, Verification and Validation, ICST 2011, pages 120--129. IEEE Computer Society, 2011. [ bib | DOI ]

[10]

Rupert Schlick, Wolfgang Herzner, and Elisabeth Jöbstl. Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences. In 30th Int. Conf. on Computer Safety, Reliability, and Security (SAFECOMP 2011), volume 6894 of LNCS, pages 270--283. Springer, 2011. [ bib ]

[11]

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. UML in Action: A Two-Layered Interpretation for Testing. In 3rd IEEE International Workshop on UML and Formal Methods (UML&FM 2010), ACM Software Engineering Notes (SEN), pages 1--8, 2010. [ bib ]

[12]

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. Model-based Mutation Testing of Hybrid Systems. In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, and Michael Leuschel, editors, Formal Methods for Components and Objects - 8^th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, volume 6286 of Lecture Notes in Computer Science, pages 228--249. Springer-Verlag, 2010. [ bib ]

[13]

Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, and Franz Wotawa. When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. In IEEE 3^rd Int. Conf. on Software Testing, Verification and Validation (ICST 2010), pages 479--488. IEEE Computer Society, 2010. [ bib | DOI ]

This file was generated by bibtex2html 1.98.