Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Error Detection Using BMC in a Parallel Environment., , , , und . CHARME, Volume 3725 von Lecture Notes in Computer Science, Seite 354-358. Springer, (2005)Solving the latch mapping problem in an industrial setting., , , und . DAC, Seite 442-447. ACM, (2003)Improving Sequential ATPG Using SAT Methods., , und . IWLS, Seite 79-84. (2002)Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts., und . ICST, Seite 196-207. IEEE, (2022)Phoenix: automated data-driven synthesis of repairs for static analysis violations., , und . ESEC/SIGSOFT FSE, Seite 613-624. ACM, (2019)FSX: a tool for fine-grained incremental unit test generation for C/C++ programs., , , , und . SIGSOFT FSE, Seite 1052-1056. ACM, (2016)Anti-patterns in search-based program repair., , , und . SIGSOFT FSE, Seite 727-738. ACM, (2016)Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions., , , , und . ASE, Seite 1227-1231. IEEE, (2021)Estimation of Power from Module-level Netlists., , und . VLSI Design, Seite 324-325. IEEE Computer Society, (1996)Elixir: an automated repair tool for Java programs., , , , , und . ICSE (Companion Volume), Seite 77-80. ACM, (2018)