Qin Wang

End-to-End Concolic Testing for Hardware/Software Co-Validation

Jialu Wang, Fei Xie, Bo Chen, 2019, 2019 IEEE International Conference on Embedded Software and Systems (ICESS).