| Challenges and opportunities with concolic testing R Kannavara, CJ Havlicek, B Chen, MR Tuttle, K Cong, S Ray, F Xie 2015 national aerospace and electronics conference (NAECON), 374-378, 2015 | 34 | 2015 |
| CRETE: A versatile binary-level concolic testing framework B Chen, C Havlicek, Z Yang, K Cong, R Kannavara, F Xie International Conference on Fundamental Approaches to Software Engineering …, 2018 | 26 | 2018 |
| End-to-end concolic testing for hardware/software co-validation B Chen, K Cong, Z Yang, Q Wang, J Wang, L Lei, F Xie 2019 IEEE International Conference on Embedded Software and Systems (ICESS), 1-8, 2019 | 12 | 2019 |
| Automated bug detection and replay for COTS linux kernel modules with concolic execution B Chen, Z Yang, L Lei, K Cong, F Xie 2020 IEEE 27th International Conference on Software Analysis, Evolution and …, 2020 | 10 | 2020 |
| Firver: concolic testing for systematic validation of firmware binaries T Alam, Z Yang, B Chen, N Armour, S Ray 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC), 352-357, 2022 | 4 | 2022 |
| Hardware/software co-monitoring L Lei, K Cong, Z Yang, B Chen, F Xie arXiv preprint arXiv:1905.03915, 2019 | 4 | 2019 |
| Versatile binary-level concolic testing B Chen, F Xie Handbook of Computer Architecture, 1-24, 2022 | 2 | 2022 |
| Concolic execution of nmap scripts for honeyfarm generation Z Li, B Chen, W Feng, F Xie Proceedings of the 8th ACM Workshop on Moving Target Defense, 33-42, 2021 | 1 | 2021 |
Fei XieDepartment of Computer Science, Portland State University在 cs.pdx.edu 的电子邮件经过验证
Fei XieDepartment of Computer Science, Portland State University在 cs.pdx.edu 的电子邮件经过验证
Zhenkun YangPortland State University在 cs.pdx.edu 的电子邮件经过验证