Concurrent N-Switch Coverage Criterion for Generating Test Cases from Place/Transition Nets. - Tomohiko Takagi; Naoya Oyaizu; Zengo Furukawa (ACIS-ICIS, 2010)