Symlnfer: Inferring program invariants using symbolic states | IEEE Conference Publication | IEEE Xplore