Modeling and Verifying Composite Semantic Web Service Based on Colored Petri Nets. - Yong-shang Cheng; Zhijian Wang; Congming Wang; Long-ye Tang; Ling Shang (ALPIT, 2007)

Research on Automated Software Test Case Generation. - Daisen Wei; Long-ye Tang; Xueqing Li; Ling Shang (J. Softw., 2014)