Travelled to:1 × Austria
1 × Canada
1 × France
1 × Germany
1 × Hungary
1 × United Kingdom
Collaborated with:B.K.Aichernig W.Krenn H.Brandl M.Kegele R.Schlick M.Weiglhofer F.Wotawa S.Tiran J.Auer R.Korosec B.V.Schmidt
Talks about:test (5) mutat (4) model (3) base (3) symbol (2) uml (2) constraint (1) increment (1) industri (1) generat (1)
Person: Elisabeth Jöbstl
DBLP: J=ouml=bstl:Elisabeth
Contributed to:
2015
20142013201220112010Wrote 6 papers:
- ICST-2015-KrennSTAJB #modelling #mutation testing #named #testing #uml
- MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.
- TAP-2014-AichernigAJKKSS #industrial #metric #modelling #mutation testing #testing
- Model-Based Mutation Testing of an Industrial Measurement Device (BKA, JA, EJ, RK, WK, RS, BVS), pp. 1–19.
- TAP-2013-AichernigJK #generative #incremental #refinement #testing
- Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.
- ICST-2012-AichernigJ #constraints #modelling #mutation testing #semantics #testing #towards
- Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints (BKA, EJ), pp. 752–757.
- ICST-2011-AichernigBJK #performance
- Efficient Mutation Killers in Action (BKA, HB, EJ, WK), pp. 120–129.
- ICST-2010-JobstlWAW #consistency #execution #smt #symbolic computation #testing
- When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (EJ, MW, BKA, FW), pp. 479–488.