Bo Chen 0008, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang, Li Lei, Fei Xie. End-to-End Concolic Testing for Hardware/Software Co-Validation. In 15th IEEE International Conference on Embedded Software and Systems, ICESS 2019, Las Vegas, NV, USA, June 2-3, 2019. pages 1-8, IEEE, 2019. [doi]
Abstract is missing.