C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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