Using dynamic execution traces and program invariants to enhance behavioral model inference.

Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, Nenad Medvidovic

Browse the full ICSE paper archive.