A failed proof can yield a useful test.

Li Huang Bertrand Meyer

Published in: Softw. Test. Verification Reliab. (2023)

Keyphrases

training data
statistical tests
theorem proving
information retrieval
information technology
artificial neural networks
test data
experimental design
linear logic