Automated Testing of Definition-Use Data Flow for Multithreaded Programs.

Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao, Ting Liu

Browse the full ICST paper archive.