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

Concretely Mapped Symbolic Memory Locations for Memory Error Detection., , , , und . IEEE Trans. Software Eng., 50 (7): 1747-1767 (Juli 2024)FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers., , , und . ESEC/SIGSOFT FSE, Seite 1741-1745. ACM, (2022)Remgen: Remanufacturing a Random Program Generator for Compiler Testing., , , , , und . ISSRE, Seite 529-540. IEEE, (2022)PRI: PCH-based privacy-preserving with reusability and interoperability for enhancing blockchain scalability., , , , , , , und . J. Parallel Distributed Comput., (2023)Beyond a Joke: Dead Code Elimination Can Delete Live Code., , , und . NIER@ICSE, Seite 32-36. ACM, (2024)KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis., , , , , und . CCS, Seite 2009-2023. ACM, (2023)Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation.. ICSE Companion, Seite 218-220. IEEE, (2023)Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models., , , , , und . IEEE Trans. Software Eng., 50 (7): 1768-1788 (Juli 2024)Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search., , und . CoRR, (2024)