Detecting Data Races on Framework-Based Applications | IEEE Conference Publication | IEEE Xplore