Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference. - Krka, Ivo; Brun, Yuriy; Popescu, Daniel; Garcia, Joshua; Medvidovic, Nenad (ICSE: International Conference on Software Engineering, 2010)