Auflistung nach Autor:in "Li, Kaituo"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragResidual investigation: predictive and precise bug detection(Software-engineering and management 2015, 2015) Li, Kaituo; Reichenbach, Christoph; Csallner, Christoph; Smaragdakis, Yannis
- KonferenzbeitragSecond-order constraints in dynamic invariant inference(Software Engineering 2014, 2014) Li, Kaituo; Reichenbach, Christoph; Smaragdakis, Yannis; Young, Michal