Ting Chen, Xiaosong Zhang, Xiao-li Ji, Cong Zhu, Yang Bai, Yue Wu. Test Generation for Embedded Executables via Concolic Execution in a Real Environment. IEEE Transactions on Reliability, 64(1):284-296, 2015. [doi]
@article{ChenZJZBW15,
title = {Test Generation for Embedded Executables via Concolic Execution in a Real Environment},
author = {Ting Chen and Xiaosong Zhang and Xiao-li Ji and Cong Zhu and Yang Bai and Yue Wu},
year = {2015},
doi = {10.1109/TR.2014.2363153},
url = {http://dx.doi.org/10.1109/TR.2014.2363153},
researchr = {https://researchr.org/publication/ChenZJZBW15},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Reliability},
volume = {64},
number = {1},
pages = {284-296},
}