Proofs from tests.

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

Published in: ISSTA (2008)

Keyphrases

statistical tests
theorem proving
data sets
formal proof
web pages
high level
mobile robot
decision procedures
natural deduction
formal proofs