Automated Testing of Definition-Use Data Flow for Multithreaded Programs
Published in IEEE International Conference on Software Testing, Verification and Validation, ICST 17, 2017
Authors: Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao, Ting Liu
Venue: IEEE International Conference on Software Testing, Verification and Validation, ICST 17
Year: 2017
| 🐙 Tool | 🔗 Publisher |
Recommended citation: 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).
Download Paper