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

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]

@inproceedings{0008CYWWLX19,
  title = {End-to-End Concolic Testing for Hardware/Software Co-Validation},
  author = {Bo Chen 0008 and Kai Cong and Zhenkun Yang and Qin Wang and Jialu Wang and Li Lei and Fei Xie},
  year = {2019},
  doi = {10.1109/ICESS.2019.8782476},
  url = {https://doi.org/10.1109/ICESS.2019.8782476},
  researchr = {https://researchr.org/publication/0008CYWWLX19},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {15th IEEE International Conference on Embedded Software and Systems, ICESS 2019, Las Vegas, NV, USA, June 2-3, 2019},
  publisher = {IEEE},
  isbn = {978-1-7281-2437-7},
}