TY  - RPRT
TI  - A Partial Order Reduction Technique for Event-driven Multi-threaded Programs
AU  - Pallavi Maiya
AU  - Rahul Gupta
AU  - Aditya Kanade
AU  - Rupak Majumdar
PY  - 2017
UR  - https://arxiv.org/abs/1511.03213
ID  - 1511.03213
ER  -