Counterexample-guided approach to finding numerical invariants.

ThanhVu Nguyen Timos Antonopoulos Andrew Ruef Michael Hicks

Published in: ESEC/SIGSOFT FSE (2017)

Keyphrases

model checking
machine learning
decision trees
multi agent
numerical analysis
decision making
case study
similarity measure