Assertion Recommendation for Formal Program Verification.

Cong Wang Fei He Xiaoyu Song Yu Jiang Ming Gu Jiaguang Sun

Published in: COMPSAC (1) (2017)

Keyphrases

collaborative filtering
recommender systems
personalized recommendation
recommendation systems
user preferences
formal methods
data mining
digital libraries
computer vision
multiscale
artificial neural networks
information overload
formal specification