Tao Sun, Linjing Zhang, Huiping Ma. An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors. In Guojun Wang, Mohammed Atiquzzaman, Zheng Yan 0002, Kim-Kwang Raymond Choo, editors, Security, Privacy, and Anonymity in Computation, Communication, and Storage - SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings. Volume 10658 of Lecture Notes in Computer Science, pages 271-285, Springer, 2017. [doi]