Sign in

SymInfer: inferring program invariants using symbolic states.

ThanhVu NguyenMatthew B. DwyerWillem Visser
Published in: ASE (2017)
Keyphrases
  • imperative programs
  • state transition
  • invariant features
  • state transitions
  • artificial intelligence
  • decision trees
  • similarity measure
  • object recognition
  • state space
  • static analysis
  • symbolic description