( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Incremental Refinement Checking for Test Case Generation.

, , и . TAP, том 7942 из Lecture Notes in Computer Science, стр. 1-19. Springer, (2013)

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.

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 Christl

 

Другие публикации лиц с тем же именем

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving., , , и . ICST, стр. 479-488. IEEE Computer Society, (2010)Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking, и . MBT, том 80 из EPTCS, стр. 88-102. (2012)UML in action: a two-layered interpretation for testing., , , и . ACM SIGSOFT Softw. Eng. Notes, 36 (1): 1-8 (2011)Model-Based Mutation Testing of an Industrial Measurement Device., , , , , , и . TAP@STAF, том 8570 из Lecture Notes in Computer Science, стр. 1-19. Springer, (2014)Efficient Mutation Killers in Action., , , и . ICST, стр. 120-129. IEEE Computer Society, (2011)Learning and statistical model checking of system response times., , , , , , , , и . Softw. Qual. J., 27 (2): 757-795 (2019)MoMut: : UML Model-Based Mutation Testing for UML., , , , , и . ICST, стр. 1-8. IEEE Computer Society, (2015)Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints., и . ICST, стр. 752-757. IEEE Computer Society, (2012)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): 806-823 (2016)Model-based mutation testing via symbolic refinement checking., , и . Sci. Comput. Program., (2015)