Learning to Explore Paths for Symbolic Execution. - Jingxuan He; Gishor Sivanrupan; Petar Tsankov; Martin T. Vechev (CCS, 2021)

DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models. - Berkay Berabi; Alexey Gronskiy; Veselin Raychev; Gishor Sivanrupan; Victor Chibotaru; Martin T. Vechev (CoRR, 2024)