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]

Authors

Ting Chen

This author has not been identified. Look up 'Ting Chen' in Google

Xiaosong Zhang

This author has not been identified. Look up 'Xiaosong Zhang' in Google

Xiao-li Ji

This author has not been identified. Look up 'Xiao-li Ji' in Google

Cong Zhu

This author has not been identified. Look up 'Cong Zhu' in Google

Yang Bai

This author has not been identified. Look up 'Yang Bai' in Google

Yue Wu

This author has not been identified. Look up 'Yue Wu' in Google