Computer Engineering & Science
Previous Articles
SONG Congxi,WANG Xin,ZHANG Wenzhe
Received:
Revised:
Online:
Published:
Abstract:
Key words: software test, symbolic execution, Angr
SONG Congxi,WANG Xin,ZHANG Wenzhe.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://joces.nudt.edu.cn/EN/
http://joces.nudt.edu.cn/EN/Y2018/V40/I增刊S1/163