Auflistung nach Autor "Howar, Falk"
Anzeige der Dokumente 1-2 von 2
-
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies
Mues, Malte; Howar, Falk
75-76 -
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