Detecting Anomalies in Concurrent Programs Based on Dynamic Control Flow Changes | IEEE Conference Publication | IEEE Xplore