MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code | IEEE Conference Publication | IEEE Xplore