Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets.

Harumi Watanabe, Tomohiro Kudoh

Browse the full APSEC paper archive.