Elisabeth Jöbstl

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 5

Top Topics

Connectionist Learning

Symbolic Representation

Test Case Generation

Top Venues

J. Log. Algebraic Methods Program.

Softw. Test. Verification Reliab.

Publications

Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi
Learning and statistical model checking of system response times. Softw. Qual. J. 27 (2) (2019)
Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. J. Log. Algebraic Methods Program. 85 (5) (2016)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran
Killing strategies for model-based mutation testing. Softw. Test. Verification Reliab. 25 (8) (2015)
Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl
MoMut: : UML Model-Based Mutation Testing for UML. ICST (2015)
Bernhard K. Aichernig, Elisabeth Jöbstl, Stefan Tiran
Model-based mutation testing via symbolic refinement checking. Sci. Comput. Program. 97 (2015)
Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt
Model-Based Mutation Testing of an Industrial Measurement Device. TAP@STAF (2014)
Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele
Incremental Refinement Checking for Test Case Generation. TAP@STAF (2013)
Bernhard K. Aichernig, Elisabeth Jöbstl
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking MBT (2012)
Bernhard K. Aichernig, Elisabeth Jöbstl
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. ICST (2012)
Bernhard K. Aichernig, Elisabeth Jöbstl
Efficient Refinement Checking for Model-Based Mutation Testing. QSIC (2012)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
UML in action: a two-layered interpretation for testing. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
Efficient Mutation Killers in Action. ICST (2011)
Rupert Schlick, Wolfgang Herzner, Elisabeth Jöbstl
Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences. SAFECOMP (2011)
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. ICST (2010)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
Model-Based Mutation Testing of Hybrid Systems. FMCO (2009)