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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.