( en | de | ru )

 

Disambiguation of "Jöbstl, Elisabeth"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient Refinement Checking for Model-Based Mutation Testing.

, and . QSIC, page 21-30. IEEE, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Elisabeth Rachel

Ziele und Compliance bei Patienten mit Diabetes mellitus Typ 2. TU Dresden, (2009)

Roswitha Elisabeth Schmickl

Reticulate evolution in glacial refuge areas: the genus Arabidopsis in the eastern Austrian Danube Valley (Wachau). Uni Heidelberg, (2009)

Johanna Elisabeth Waldthausen

Untersuchungen zum Einfluss der Hochdruckbehandlung auf den mikrobiellen und sensorischen Status und den Nachweis von Listeria monocytogenes in kurzgereifter Rohwurst aus Geflügelfleisch. TierH Hannover, (2009)

Tanja Elisabeth Peters

George Gershwins und Jerome Kerns Musicalsongs: ihre Ähnlichkeit, Wahrnehmung und musikalische Struktur. Uni Köln, (2008)

Elisabeth Wollny

 

Other publications of authors with the same name

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving., , , and . ICST, page 479-488. IEEE Computer Society, (2010)Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking, and . MBT, volume 80 of EPTCS, page 88-102. (2012)UML in action: a two-layered interpretation for testing., , , and . ACM SIGSOFT Softw. Eng. Notes, 36 (1): 1-8 (2011)Model-Based Mutation Testing of an Industrial Measurement Device., , , , , , and . TAP@STAF, volume 8570 of Lecture Notes in Computer Science, page 1-19. Springer, (2014)Efficient Mutation Killers in Action., , , and . ICST, page 120-129. IEEE Computer Society, (2011)Learning and statistical model checking of system response times., , , , , , , , and . Softw. Qual. J., 27 (2): 757-795 (2019)Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints., and . ICST, page 752-757. IEEE Computer Society, (2012)MoMut: : UML Model-Based Mutation Testing for UML., , , , , and . ICST, page 1-8. IEEE Computer Society, (2015)Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences., , and . SAFECOMP, volume 6894 of Lecture Notes in Computer Science, page 270-283. Springer, (2011)Efficient Refinement Checking for Model-Based Mutation Testing., and . QSIC, page 21-30. IEEE, (2012)