• Sign in
  • Sign up
conf.researchr.org / Richard Rutledge
  • ICSE 2019 profile
  • ICSE 2020 profile
  • ICST 2022 profile
  • ICST 2023 profile
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

2023

ICST

  • Author of Automating Differential Testing with Overapproximate Symbolic Execution within the Previous Editions-track

2022

ICST

  • Author of Automating Differential Testing with Overapproximate Symbolic Execution within the Research Papers-track

2020

ICSE

  • Author of PG-KLEE: Trading Soundness for Coverage within the Demonstrations-track

2019

ICSE

  • Author of Zero-Overhead Path Prediction with Progressive Symbolic Execution within the Technical Track-track
Share
xThu 4 Sep 19:39
using conf.researchr.org (v1.70.0)
Support page
Sign Up