Concepedia

Richard Chang

RC

Statistics

Publications

2

Citations

60

H-Index

2

Active since

2007

Affiliations

Princeton University(Current)

The University of Texas at Austin

Richard Chang is an author at Princeton University specializing in formal verification, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationVerificationData SecurityFormal MethodsRobot Learning

Publications per year

2007–2009

2

Publications

2

Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities

Richard Chang, Guofei Jiang, Franjo Ivančić et al. · 2009 · 47 citations

Engineering, Information Security, Static Detection +17

State space exploration using feedback constraint generation and Monte-Carlo sampling

Sriram Sankaranarayanan, Richard Chang, Guofei Jiang et al. · 2007 · 13 citations

Program Checking, Engineering, Verification +26

1–2 of 2