State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing.

Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama

Browse the full PRDC paper archive.