DMCA

Characteristic studies of loop problems for structural test generation via symbolic execution (2013)

Cached

Download Links

by Xusheng Xiao , Sihan Li , Tao Xie , Nikolai Tillmann
Venue:In IEEE/ACM 28th International Conference on Automated Software Engineering (ASE
Citations:4 - 0 self