Sound Predictive Fuzzing for Multi-threaded Programs | IEEE Conference Publication | IEEE Xplore