Is Proof More Cost-Effective Than Testing?

Steve King Jonathan Hammond Roderick Chapman Andy Pryor

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

Keyphrases

cost effective
low cost
cost effectiveness
data center
information systems
theorem prover
theorem proving
linear logic
neural network
test set
test data