Test Generation for Embedded Executables via Concolic Execution in a Real Environment
Chen, Ting, Zhang, Xiao-Song, Ji, Xiao-Li, Zhu, Cong, Bai, Yang, Wu, YueVolume:
64
Language:
english
Journal:
IEEE Transactions on Reliability
DOI:
10.1109/TR.2014.2363153
Date:
March, 2015
File:
PDF, 737 KB
english, 2015