Automated Testing of Definition-Use Data Flow for Multithreaded Programs | IEEE Conference Publication | IEEE Xplore