A Novel Data-Driven Approach for Generating Verified Loop Invariants | IEEE Conference Publication | IEEE Xplore