Minxue Pan

According to our database1, Minxue Pan authored at least 17 papers between 2009 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Template-based model generation.
Software and System Modeling, 2019

Preference-wise testing for Android applications.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

GUI-guided repair of mobile test scripts.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.
Proceedings of the 41st International Conference on Software Engineering, 2019

Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty.
ACM Trans. Internet Techn., 2018

Efficient validation of self-adaptive applications by counterexample probability maximization.
Journal of Systems and Software, 2018

[Research Paper] Semantics-Based Code Search Using Input/Output Examples.
Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Static extraction of IFML models for Android apps.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Dual-force: understanding WebView malware via cross-language forced execution.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

A Documentation-based Constraint Generation Method for Java APIs.
Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

An Open Framework for Semantic Code Queries on Heterogeneous Repositories.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Timing analysis of scenario-based specifications using linear programming.
Softw. Test., Verif. Reliab., 2012

Timing analysis of MSC specifications with asynchronous concatenation.
STTT, 2012

Loop reduction techniques for reachability analysis of linear hybrid automata.
SCIENCE CHINA Information Sciences, 2012

An MDE-based approach to the verification of SysML state machine diagram.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

TASS: Timing Analyzer of Scenario-Based Specifications.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009