Autor der Publikation

Directed Symbolic Execution.

, , , und . SAS, Volume 6887 von Lecture Notes in Computer Science, Seite 95-111. Springer, (2011)

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

Path projection for user-centered static analysis tools., , , und . PASTE, Seite 57-63. ACM, (2008)Mixing type checking and symbolic execution., , und . PLDI, Seite 436-447. ACM, (2010)Adapton: composable, demand-driven incremental computation., , , und . PLDI, Seite 156-166. ACM, (2014)Directed Symbolic Execution., , , und . SAS, Volume 6887 von Lecture Notes in Computer Science, Seite 95-111. Springer, (2011)User-centered Program Analysis Tools.. University of Maryland, College Park, MD, USA, (2013)base-search.net (ftunivmaryland:oai:drum.lib.umd.edu:1903/14585).Directing JavaScript with arrows., , , und . DLS, Seite 49-58. ACM, (2009)Expositor: scriptable time-travel debugging with first-class traces., , und . ICSE, Seite 352-361. IEEE Computer Society, (2013)