Assertional checking and symbolic execution: An effective combination for debugging.

J. Mack Adams James Armstrong Melissa Smartt

Published in: ACM Annual Conference (1979)

Keyphrases

symbolic execution
training data
data sets
neural network
general purpose
orders of magnitude
domain independent