A Novel Data-Driven Approach for Generating Verified Loop Invariants.

Hong Lu Jiacheng Gui Chengyi Wang Hao Huang

Published in: TASE (2020)

Keyphrases

data driven
moment invariants
artificial intelligence
wide range
preprocessing
data sets
machine learning
information retrieval
search engine
computer vision
probabilistic model
affine moment invariants