State space exploration using feedback constraint generation and Monte-Carlo sampling. - Sriram Sankaranarayanan 001; Richard M. Chang; Guofei Jiang; Franjo Ivancic (ESEC/SIGSOFT FSE, 2007)

Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities. - Richard M. Chang; Guofei Jiang; Franjo Ivancic; Sriram Sankaranarayanan 001; Vitaly Shmatikov (CSF, 2009)