JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM ›› 2012, Vol. 35 ›› Issue (1): 24-27.doi: 10.13190/jbupt.201201.24.anj
• Papers • Previous Articles Next Articles
Applications of Function Summary in Concolic Testing
AN Jing, HONG Jin-xin, WEI Geng-yu, YANG Yi-xian
- School of Computer Science, Beijing University of Posts and Telecommunications, Beijing 100876, China