Registered user since Thu 13 Dec 2018
Name:Minxue Pan
Country:China
Affiliation:Nanjing University
Personal website:https://minxuepan.github.io/
Research interests:Program analysis and verification, Model checking, Mobile application analysis, Software mining.
Contributions
| ICSE 2019 | Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-driven Systems GUI-Guided Repair of Mobile Test Scripts | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2019-profile
View general profile
View general profile