
Registered user since Thu 24 May 2018
Name:Hui Guo
Affiliation:University of California, Davis
Personal website:https://hguo15.github.io
Research interests:Program Analysis, Programming Language, Software Engineering, Numerical Uncertainty
Contributions
ICSE 2020 | Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2020-profile
View general profile
View general profile