Directed Incremental Symbolic Execution
- 期刊名称ACM Transactions on Software Engineering and Methodology
- 作者Yang, Guowei; Person, Suzette; Rungta, Neha; Khurshid, Sarfraz
- 卷第24卷
- 期第1期
- 印刷ISSN1049-331X
- 文件大小1428.66KB
- 发表时间2014-10-07
- DOI10.1145/2629536
- 页码1-42
[IEEE COMPSAC 2007 - 31st Annual International Computer Software and Applications Conference - Beijing, China (2007.7.24-2007.7.27)] 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) - 31st Annual International Computer Software and Applications Conference - Copyright2007
[IEEE COMPSAC 2007 - 31st Annual International Computer Software and Applications Conference - Beijing, China (2007.7.24-2007.7.27)] 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) - 31st Annual International Computer Software and Applications Conference - Cover2007
[IEEE COMPSAC 2007 - 31st Annual International Computer Software and Applications Conference - Beijing, China (2007.7.24-2007.7.27)] 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) - 31st Annual International Computer Software and Applications Conference - Cover2007
[IEEE COMPSAC 2007 - 31st Annual International Computer Software and Applications Conference - Beijing, China (2007.7.24-2007.7.27)] 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) - 31st Annual International Computer Software and Applications Conference - Title2007
[IEEE COMPSAC 2007 - 31st Annual International Computer Software and Applications Conference - Beijing, China (2007.7.24-2007.7.27)] 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) - 31st Annual International Computer Software and Applications Conference - Copyright2007
[IEEE COMPSAC 2007 - 31st Annual International Computer Software and Applications Conference - Beijing, China (2007.7.24-2007.7.27)] 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) - 31st Annual International Computer Software and Applications Conference - Title Page2007
[IEEE COMPSAC 2007 - 31st Annual International Computer Software and Applications Conference - Beijing, China (2007.7.24-2007.7.27)] 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) - 31st Annual International Computer Software and Applications Conference - Table of contents2007
[IEEE COMPSAC 2007 - 31st Annual International Computer Software and Applications Conference - Beijing, China (2007.7.24-2007.7.27)] 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) - Author index2007
Software faults prediction based on grey system theoryMao, Chengying · ACM SIGSOFT Software Engineering Notes · 2009
A Quantitative Assessment Approach to COTS Component SecurityChen, Jinfu; Lu, Yansheng; Wang, Huanhuan; Mao, Chengying · Mathematical Problems in Engineering · 2013
Static inter-BPEL program slicing for web servicesMao, Chengying · International Journal of Simulation and Process Modelling · 2012
Graphene/Si CMOS Hybrid Hall Integrated CircuitsHuang, Le; Xu, Huilong; Zhang, Zhiyong; Chen, Chengying; Jiang, Jianhua; Ma, Xiaomeng; Chen, Bingyan; Li, Zishen; Zhong, Hua; Peng, Lian-Mao · Scientific Reports · 2014
Submicroscopic chromosomal imbalances contribute to early abortionLi, Haibo; Liu, Minjuan; Xie, Min; Zhang, Qin; Xiang, Jingjing; Duan, Chengying; Ding, Yang; Liu, Yinghua; Mao, Jun; Wang, Ting; Li, Hong · Molecular Cytogenetics · 2018
Generating Test Data for Software Structural Testing Based on Particle Swarm OptimizationMao, Chengying · Arabian Journal for Science and Engineering · 2014
Adapting ant colony optimization to generate test data for software structural testingMao, Chengying; Xiao, Lichuan; Yu, Xinxin; Chen, Jinfu · Swarm and Evolutionary Computation · 2015
TEST DATA GENERATION FOR SOFTWARE TESTING BASED ON QUANTUM-INSPIRED GENETIC ALGORITHMMAO, CHENGYING; YU, XINXIN · International Journal of Computational Intelligence and Applications · 2013