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)Improving Sequential ATPG Using SAT Methods., , und . IWLS, Seite 79-84. (2002)Solving the latch mapping problem in an industrial setting., , , und . DAC, Seite 442-447. ACM, (2003)Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts., und . ICST, Seite 196-207. IEEE, (2022)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)Phoenix: automated data-driven synthesis of repairs for static analysis violations., , und . ESEC/SIGSOFT FSE, Seite 613-624. ACM, (2019)Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions., , , , und . ASE, Seite 1227-1231. IEEE, (2021)Generating Succinct Test Cases Using Don't Care Analysis., , , , und . ICST, Seite 1-10. IEEE Computer Society, (2015)CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications., , und . ICST, Seite 171-180. IEEE Computer Society, (2012)