Registered user since Thu 13 Dec 2018
Name: Minxue Pan
Affiliation: Nanjing University
Research interests: Program analysis and verification, Model checking, Mobile application analysis, Software mining.
|ICSE 2019||Author of Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-driven Systems within the Technical Papers-track|
|Show activities from other conferences|
Using general profile