"Dynamic Generation of Likely Invariants for Multithreaded Programs."

Markus Kusano, Arijit Chattopadhyay, Chao Wang (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics