Elisabeth Jöbstl

According to our database, Elisabeth Jöbstl authored at least 15 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Learning and statistical model checking of system response times.

Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi

Softw. Qual. J., 2019

2016

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler

J. Log. Algebraic Methods Program., 2016

2015

Killing strategies for model-based mutation testing.

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran

Softw. Test. Verification Reliab., 2015

Model-based mutation testing via symbolic refinement checking.

Bernhard K. Aichernig, Elisabeth Jöbstl, Stefan Tiran

Sci. Comput. Program., 2015

MoMut: : UML Model-Based Mutation Testing for UML.

Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

Model-Based Mutation Testing of an Industrial Measurement Device.

Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt

Proceedings of the Tests and Proofs - 8th International Conference, 2014

2013

Incremental Refinement Checking for Test Case Generation.

Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele

Proceedings of the Tests and Proofs - 7th International Conference, 2013

2012

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Bernhard K. Aichernig, Elisabeth Jöbstl

Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012

Efficient Refinement Checking for Model-Based Mutation Testing.

Bernhard K. Aichernig, Elisabeth Jöbstl

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints.

Bernhard K. Aichernig, Elisabeth Jöbstl

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

UML in action: a two-layered interpretation for testing.

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn

ACM SIGSOFT Softw. Eng. Notes, 2011

Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences.

Rupert Schlick, Wolfgang Herzner, Elisabeth Jöbstl

Proceedings of the Computer Safety, Reliability, and Security, 2011

Efficient Mutation Killers in Action.

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.

Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa

Proceedings of the Third International Conference on Software Testing, 2010

2009

Model-Based Mutation Testing of Hybrid Systems.

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009