A Proof Slicing Framework for Program Verification.

Ton Chanh Le Cristian Gherghina Razvan Voicu Wei-Ngan Chin

Published in: ICFEM (2013)

Keyphrases

main contribution
data mining
information systems
website
computational framework
databases
neural network
real world
artificial intelligence
feature space
probabilistic model
multi class
theoretical framework