Petri net based software testing scheduling and selecting. - Senke Ding; Peifu Xu; Weimin Wu 002; Yi Yang; Zichao Xing; Feihua Lu; Cheng Li (ICNSC, 2017)