Richard M. Chang

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Richard M. Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, Vitaly Shmatikov
Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities. CSF (2009)
Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic
State space exploration using feedback constraint generation and Monte-Carlo sampling. ESEC/SIGSOFT FSE (2007)