Login / Signup

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

Ivo KrkaYuriy BrunDaniel PopescuJoshua GarciaNenad Medvidovic
Published in: ICSE (2) (2010)
Keyphrases
  • execution traces
  • behavioral model
  • source code
  • program comprehension
  • behavior analysis
  • decision making