An Automatic Generation Method for Path Expressions of CPN Model Focus on Tested Behaviors.

Sun Tao, Linjing Zhang, Huiping Ma

Browse the full CSCWD paper archive.