A new structural coverage criterion for dynamic detection of program invariants | IEEE Conference Publication | IEEE Xplore