SymInfer: inferring program invariants using symbolic states.

ThanhVu Nguyen Matthew B. Dwyer Willem 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