Automated Testing of Definition-Use Data Flow for Multithreaded Programs

1. ICST 17

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

   IEEE International Conference on Software Testing, Verification and Validation, ICST 17.

   Tool paper

Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao, Ting Liu. "Automated Testing of Definition-Use Data Flow for Multithreaded Programs." IEEE International Conference on Software Testing, Verification and Validation, ICST 17. (2017).