Overview of a place/transition net-based mutation testing framework to obtain test cases effective for concurrent software | IEEE Conference Publication | IEEE Xplore