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