Dynamic Generation of Likely Invariants for Multithreaded Programs.

Markus Kusano, Arijit Chattopadhyay, Chao Wang

Browse the full ICSE paper archive.