conf.researchr.org / Richard Rutledge

Registered user since Wed 19 Dec 2018

Name: Richard Rutledge

Affiliation: Georgia Institute of Technology

Contributions

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