HE Xiao
School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083, China;Key Laboratory of High Confidence Software Technologies for the Ministry of Education(Peking University), Beijing 100871, China;State Key Laboratory for Novel Software Technology(Nanjing University), Nanjing 210093, ChinaLI Wen-Feng
School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083, ChinaZHANG Tian
State Key Laboratory for Novel Software Technology(Nanjing University), Nanjing 210093, ChinaMA Zhi-Yi
Key Laboratory of High Confidence Software Technologies for the Ministry of Education(Peking University), Beijing 100871, ChinaSHAO Wei-Zhong
Key Laboratory of High Confidence Software Technologies for the Ministry of Education(Peking University), Beijing 100871, ChinaHU Chang-Jun
School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083, ChinaNational Basic Research Program of China (973) (2013CB329606); National Natural Science Foundation of China (61300009)
何啸,李文峰,张天,麻志毅,邵维忠,胡长军.一种随机化的软件模型生成方法.软件学报,2017,28(4):907-924
Copy