Combining Tests and Proofs.

Madhu Gopinathan Aditya V. Nori Sriram K. Rajamani

Published in: VSTTE (2008)

Keyphrases

neural network
data mining
preprocessing
machine learning
social networks
multimedia
website
high level
image sequences
theorem prover
computer programs
formal proofs