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. |
| Luo, Z., Zhao, H., Wolff, D., Cadar, C., & Roychoudhury, A. (2026). Agentic concolic execution. IEEE Symposium on Security and Privacy. |