Publications
|
Tu, H., Zhao, H., Song, Y., Zafar, M., Meng, R., & Roychoudhury, A. (2026). Agentic verification of software systems. Proceedings of the ACM on Software Engineering, 3(FSE), 3558–3581. https://doi.org/10.1145/3808164 |
| Luo, Z., Zhao, H., Wolff, D., Cadar, C., & Roychoudhury, A. (2026). Agentic concolic execution. IEEE Symposium on Security and Privacy. https://arxiv.org/abs/2511.17330 |