Elisabeth Jöbstl

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