Login / Signup
The Tests-versus-Proofs Conundrum.
George Candea
Published in:
IEEE Secur. Priv. (2014)
Keyphrases
</>
theorem proving
formal proof
data sets
databases
data mining
information systems
data structure
formal proofs
database
decision making
three dimensional
image sequences
test data
decision procedures