Machine Learning Based Invariant Generation: A Framework and Reproducibility Study | IEEE Conference Publication | IEEE Xplore