Symbolic Execution with Invariant Inlay: Evaluating the Potential | IEEE Conference Publication | IEEE Xplore