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

ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors., und . ISSRE, Seite 162-172. IEEE, (2021)Test mimicry to assess the exploitability of library vulnerabilities., , , , und . ISSTA, Seite 276-288. ACM, (2022)Symbolic Pathfinder for SV-COMP - (Competition Contribution)., , , , und . TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 239-243. Springer, (2019)JFIX: semantics-based repair of Java programs via symbolic PathFinder., , , , und . ISSTA, Seite 376-379. ACM, (2017)An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic., und . FoSSaCS, Volume 13992 von Lecture Notes in Computer Science, Seite 477-497. Springer, (2023)Toward the Analysis of Graph Neural Networks., , , , und . ICSE (NIER), Seite 116-120. IEEE/ACM, (2022)AutoPruner: transformer-based call graph pruning., , , , , , und . ESEC/SIGSOFT FSE, Seite 520-532. ACM, (2022)Adversarial Patch Generation for Automatic Program Repair., , , und . CoRR, (2020)FFL: Fine-grained Fault Localization for Student Programs via Syntactic and Semantic Reasoning., , , , , , und . ICSME, Seite 151-162. IEEE, (2022)VulCurator: a vulnerability-fixing commit detector., , , , und . ESEC/SIGSOFT FSE, Seite 1726-1730. ACM, (2022)