Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
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

ICSE 2020 PG-KLEE: Trading Soundness for Coverage
Show activities from other conferences

ICSE 2020-profile
View general profile