TY  - RPRT
TI  - Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
AU  - Sandeep Bindal
AU  - Sorav Bansal
AU  - Akash Lal
PY  - 2013
UR  - https://arxiv.org/abs/1207.2544
ID  - 1207.2544
ER  -