Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He. Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. In Hong Zhu, W. Eric Wong, Fevzi Belli, editors, Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008. pages 71-78, ACM, 2008. [doi]
Abstract is missing.