ICPC 2019
Sat 25 - Sun 26 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
Minxue Pan

Registered user since Thu 13 Dec 2018

Name:Minxue Pan
Country:China
Affiliation:Nanjing University
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