Test Generation for Embedded Executables via Concolic Execution in a Real Environment

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]

Abstract

Abstract is missing.