COTIA: Concolic Testing with Intelligent Agent.

Yan Tan, Xiangchen Meng, Yangdi Lyu

Browse the full ICCAD paper archive.