Elisabeth Jbstl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2010–2015
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICST | MoMut: : UML Model-Based Mutation Testing for UML. | Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jbstl, Harald Brandl |
| 2014 | TAP | Model-Based Mutation Testing of an Industrial Measurement Device. | Bernhard K. Aichernig, Jakob Auer, Elisabeth Jbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt |
| 2013 | TAP | Incremental Refinement Checking for Test Case Generation. | Bernhard K. Aichernig, Elisabeth Jbstl, Matthias Kegele |
| 2012 | ICST | Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. | Bernhard K. Aichernig, Elisabeth Jbstl |
| 2011 | ICST | Efficient Mutation Killers in Action. | Bernhard K. Aichernig, Harald Brandl, Elisabeth Jbstl, Willibald Krenn |
| 2011 | SAFECOMP | Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences. | Rupert Schlick, Wolfgang Herzner, Elisabeth Jbstl |
| 2010 | ICST | When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. | Elisabeth Jbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa |