An Iterative Method for Generating Loop Invariants.

Shikun Chen Zhoujun Li Xiaoyu Song Mengjun Li

Published in: FAW-AAIM (2011)

Keyphrases

automatically generating
machine learning
wide range
generation process
genetic algorithm
knowledge base
face recognition
artificial neural networks
hidden markov models