@inproceedings{DBLP:conf/icess/0008CYWWLX19,
 author = {Bo Chen and
Kai Cong and
Zhenkun Yang and
Qin Wang and
Jialu Wang and
Li Lei and
Fei Xie},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/icess/0008CYWWLX19.bib},
 booktitle = {15th IEEE International Conference on Embedded Software and Systems,
ICESS 2019, Las Vegas, NV, USA, June 2-3, 2019},
 doi = {10.1109/ICESS.2019.8782476},
 pages = {1--8},
 publisher = {IEEE},
 timestamp = {Fri, 22 Aug 2025 01:00:00 +0200},
 title = {End-to-End Concolic Testing for Hardware/Software Co-Validation},
 url = {https://doi.org/10.1109/ICESS.2019.8782476},
 year = {2019}
}