Machine Learning Based Invariant Generation: A Framework and Reproducibility Study.

Jan Haltermann Heike Wehrheim

Published in: ICST (2022)

Keyphrases

machine learning
theoretical foundation
theoretical framework
neural network
computer science
explanation based learning
conceptual framework
affine transformation
bayesian framework
active learning
data analysis
real time
support vector
case study
decision trees
knowledge base
artificial intelligence
databases