Auflistung Nach Schlagwort "Dynamic Symbolic Execution" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-1 von 1

«
»

Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs

Mues, Malte; Schallau, Till; Howar, Falk
77-78

Anzeige der Dokumente 1-1 von 1

«
»