
Registered user since Tue 10 Jan 2017
Name:Qiuping Yi
Affiliation:Texas A&M University
Personal website:https://sites.google.com/site/yiqiuping/home
Research interests:Testing, Verification, Concurrency, Debugging
Contributions
ICSE 2020 | Summary-Guided Incremental Symbolic Execution | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2020-profile
View general profile
View general profile