
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