Proofs from Tests.

Nels E. Beckman Aditya V. Nori Sriram K. Rajamani Robert J. Simmons SaiDeep Tetali Aditya V. Thakur

Published in: IEEE Trans. Software Eng. (2010)

Keyphrases

statistical tests
theorem proving
data mining
machine learning
three dimensional
database systems
multi agent systems
preprocessing
special case
test suite