Auflistung nach Autor "Visser, Willem"
Anzeige der Dokumente 1-2 von 2
-
Reliability analysis in symbolic pathfinder: A brief summary
Filieri, Antonio; Păsăreanu; Visser, Willem
39-40 -
Statistical symbolic execution with informed sampling
Filieri, Antonio; Păsăreanu, Corina; Visser, Willem; Geldenhuys, Jaco
51-52