Validation, Verification, and Testing for the Individual Programmer.

Martha A. Branstad John C. Cherniavsky W. Richards Adrion

Published in: Computer (1980)

Keyphrases

formal verification
test generation
programming language
symbolic execution
data mining
real world
learning algorithm
high level
training data
statistical tests
formal analysis