Overview of a place/transition net-based mutation testing framework to obtain test cases effective for concurrent software.

Tomohiko Takagi, Takuya Arao

Browse the full SNPD paper archive.