Extended mutation score based on weighted place/transition nets to evaluate test suites

This paper shows an extended mutation score to evaluate a test suite for concurrent software in model-driven development. It is calculated based on a weighted PN (place/transition net) that consists of two elements. One is a PN that is constructed based on specifications of SUT (software under test), and another is the weights that are calculated based on software metrics.