Author of the publication

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.

 

Other publications of authors with the same name

Graph transformations and software engineering: Success stories and lost chances., and . J. Vis. Lang. Comput., 24 (3): 207-217 (2013)A Unified High-Level Petri Net Formalism for Time-Critical Systems., , , and . IEEE Trans. Software Eng., 17 (2): 160-172 (1991)Measuring Software Redundancy., , and . ICSE (1), page 156-166. IEEE Computer Society, (2015)Dynamic Data Flow Testing of Object Oriented Systems., , , and . ICSE (1), page 947-958. IEEE Computer Society, (2015)Enhancing structural software coverage by incrementally computing branch executability., , , and . Software Quality Journal, 19 (4): 725-751 (2011)A Toolbox for Automating Visual Software Engineering., and . FASE, volume 2306 of Lecture Notes in Computer Science, page 189-202. Springer, (2002)SOQUA 2007: 4th international workshop on software quality assurance., , and . ESEC/SIGSOFT FSE, page 615-616. ACM, (2007)Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization., , and . ESEC/SIGSOFT FSE, page 411-421. ACM, (2013)RAW: runtime automatic workarounds., , , and . ICSE (2), page 321-322. ACM, (2010)978-1-60558-719-6.An empirical evaluation of fault-proneness models., and . ICSE, page 241-251. ACM, (2002)