Reif, Michael ; Kübler, Florian ; Eichberg, Michael ; Helm, Dominik ; Mezini, Mira (2019)
Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs.
28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'19). Beijing, China (15.07.2019-19.07.2019)
doi: 10.1145/3293882.3330555
Konferenzveröffentlichung, Bibliographie
Typ des Eintrags: | Konferenzveröffentlichung |
---|---|
Erschienen: | 2019 |
Autor(en): | Reif, Michael ; Kübler, Florian ; Eichberg, Michael ; Helm, Dominik ; Mezini, Mira |
Art des Eintrags: | Bibliographie |
Titel: | Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs |
Sprache: | Englisch |
Publikationsjahr: | 7 August 2019 |
Veranstaltungstitel: | 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'19) |
Veranstaltungsort: | Beijing, China |
Veranstaltungsdatum: | 15.07.2019-19.07.2019 |
DOI: | 10.1145/3293882.3330555 |
URL / URN: | https://dl.acm.org/citation.cfm?id=3293882&picked=prox |
Zugehörige Links: | |
Freie Schlagworte: | call graph construction, soundness, static analysis; Engineering; E1 |
Zusätzliche Informationen: | preprint here: http://michael-reif.name/publications/RKE+2019_preprint.pdf |
Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Softwaretechnik DFG-Sonderforschungsbereiche (inkl. Transregio) DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche Profilbereiche Profilbereiche > Cybersicherheit (CYSEC) LOEWE LOEWE > LOEWE-Zentren LOEWE > LOEWE-Zentren > CRISP - Center for Research in Security and Privacy DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1119: CROSSING – Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen |
Hinterlegungsdatum: | 08 Aug 2019 07:07 |
Letzte Änderung: | 11 Sep 2019 05:27 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |