Dynamic Generation of Likely Invariants for Multithreaded Programs | IEEE Conference Publication | IEEE Xplore