Variable and thread bounding for systematic testing of multithreaded programs. - Sandeep Bindal; Sorav Bansal; Akash Lal (ISSTA, 2013)