Overview of a place/transition net-based mutation testing framework to obtain test cases effective for concurrent software
Tomohiko Takagi, Takuya Arao · 2015
This paper shows a framework for a PNBMT (place/transition net-based mutation testing technique) that consists of three tools, that is, a mutant PN generator, a negative test case generator, and a mutation analyzer.