@article{JIA Lei:89,
author = {[JIA Lei, LIU Jing, WANG Shao-shuai, WU Hai-bo]},
title = {A Colored Petri Nets Model Based Cloud Test Generation Approach and Implementation System},
publisher = {Journal of Beijing University of Posts and Telecommunications},
year = {2016},
journal = {Journal of Beijing University of Posts and Telecommunications},
volume = {39},
number = {5},
eid = {89},
pages = {89-93,115},
keywords = {test generation;colored Petri nets;cloud computing;MapReduce},
doi = https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2016.05.018
}