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 | Author of PG-KLEE: Trading Soundness for Coverage within the Demonstrations-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile