Boosting concolic testing via interpolation

10.1145/2491411.2491425

Saved in:
書目詳細資料
Main Authors: Jaffar, J., Murali, V., Navas, J.A.
其他作者: COMPUTER SCIENCE
格式: Conference or Workshop Item
出版: 2014
主題:
在線閱讀:http://scholarbank.nus.edu.sg/handle/10635/78046
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
機構: National University of Singapore