Author Info
Name
Affiliation
Papers
MINXUE PAN
State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China
15
Collaborators
Citations 
PageRank 
42
7
5.19
Referers 
Referees 
References 
33
236
77
Search Limit
100236
Title
Citations
PageRank
Year
Documentation-based functional constraint generation for library methods00.342022
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques00.342022
GUIDER: GUI structure and vision co-guided test script repair for Android apps10.362021
Documentation-based functional constraint generation for library methods00.342021
Testing Dnn-Based Autonomous Driving Systems Under Critical Environmental Conditions00.342021
Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping00.342020
C2S: translating natural language comments to formal program specifications40.402020
CPC: automatically classifying and propagating natural language comments via program analysis10.352020
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems00.342019
Extracting Mapping Relations for Mobile User Interface Transformation00.342019
Execution Enhanced Static Detection Of Android Privacy Leakage Hidden By Dynamic Class Loading00.342019
[Research Paper] Semantics-Based Code Search Using Input/Output Examples.00.342018
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing00.342018
Dual-force: understanding WebView malware via cross-language forced execution.10.362018
A Documentation-Based Constraint Generation Method For Java Apis00.342018