"Variable and thread bounding for systematic testing of multithreaded programs."

Sandeep Bindal, Sorav Bansal, Akash Lal (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics