Login / Signup
Using dynamic execution traces and program invariants to enhance behavioral model inference.
Ivo Krka
Yuriy Brun
Daniel Popescu
Joshua Garcia
Nenad Medvidovic
Published in:
ICSE (2) (2010)
Keyphrases
</>
execution traces
behavioral model
source code
program comprehension
behavior analysis
decision making