A novel data-driven approach on inferring loop invariants for C programs.

Hong Lu Huitao Wang Jiacheng Gui Panfeng Chen Hao Huang

Published in: J. Comput. Lang. (2022)

Keyphrases

imperative programs
data driven
computer programs
machine learning
multiscale
data sets
databases
neural network
learning algorithm
social networks