According to our database1, Minxue Pan authored at least 17 papers between 2009 and 2019.
Legend:Book In proceedings Article PhD thesis Other
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.
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