Auflistung nach Autor "Li, Kaituo"
Anzeige der Dokumente 1-2 von 2
-
Residual investigation: predictive and precise bug detection
Li, Kaituo; Reichenbach, Christoph; Csallner, Christoph; Smaragdakis, Yannis
133-134 -
Second-order constraints in dynamic invariant inference
Li, Kaituo; Reichenbach, Christoph; Smaragdakis, Yannis; Young, Michal
93-94