SymInfer: Inferring Program Invariants using Symbolic States.

ThanhVu Nguyen Matthew B. Dwyer Willem Visser

Published in: CoRR (2019)

Keyphrases

imperative programs
computer programs
state transition
program execution
object recognition
database
data mining
artificial intelligence
search engine
website
high level
pattern recognition
invariant features
intermediate level
connectionist models