Concurrent program semantic mutation testing based on abstract memory model | IEEE Conference Publication | IEEE Xplore