Automated Program Verification Using Generation of Invariants.

Jianying Xing Mengjun Li Zhoujun Li

Published in: QSIC (2010)

Keyphrases

semi automated
fully automated
automated analysis
database
computer assisted
decision making
case study
optimal solution
generation algorithm
context sensitive
computer aided
fully automatic
feature extraction
clustering algorithm
computer vision
genetic algorithm
neural network
data sets