Input-Driven Active Testing of Multi-threaded Programs.

Han Yue, Peng Wu, Tsong Yueh Chen, Yi Lv

Browse the full APSEC paper archive.