国家重点基础研究发展计划(973)(2013CB329606);国家自然科学基金(61300009)
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, ChinaNational Basic Research Program of China (973) (2013CB329606); National Natural Science Foundation of China (61300009)
何啸,李文峰,张天,麻志毅,邵维忠,胡长军.一种随机化的软件模型生成方法.软件学报,2017,28(4):907-924
复制