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 | Automating Differential Testing with Overapproximate Symbolic Execution | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICST 2022-profile
View general profile
View general profile