Detecting Bugs of Concurrent Programs with Program Invariants | IEEE Conference Publication | IEEE Xplore