conf.researchr.org / Richard Rutledge
Richard Rutledge

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

ICST 2022 Author of Automating Differential Testing with Overapproximate Symbolic Execution within the Research Papers-track
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