Program Correctness: On Inductive Assertion Methods.

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

Keyphrases

preprocessing
data sets
benchmark datasets
machine learning
search methods
machine learning methods
case study
objective function
significant improvement
methods require
classification method
empirical studies
computational cost
hidden markov models
information systems
artificial intelligence
neural network