Richard Rutledge

Registered user since Wed 19 Dec 2018

Name: Richard Rutledge

Country: United States

Affiliation: Georgia Institute of Technology

Personal website:

Research interests: symbolic execution; input generation; software test


ICSE 2020 Author of PG-KLEE: Trading Soundness for Coverage within the Demonstrations-track
ICSE 2019 Author of Zero-Overhead Path Prediction with Progressive Symbolic Execution within the Technical Track-track