Registered user since Wed 19 Dec 2018

Name: Richard Rutledge

Country: United States

Affiliation: Georgia Institute of Technology

Personal website: https://www.cc.gatech.edu/~rrutledg/

Research interests: symbolic execution; input generation; software test

Contributions