Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin.

Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He

Browse the full ICSE paper archive.