Follow
Minxue Pan
Title
Cited by
Cited by
Year
Reinforcement learning based curiosity-driven testing of Android applications
M Pan, A Huang, G Wang, T Zhang, X Li
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
1642020
CPC: Automatically classifying and propagating natural language comments via program analysis
J Zhai, X Xu, Y Shi, G Tao, M Pan, S Ma, L Xu, W Zhang, L Tan, X Zhang
Proceedings of the ACM/IEEE 42nd International conference on software …, 2020
542020
Automatic code summarization: A systematic literature review
Y Zhu, M Pan
arXiv preprint arXiv:1909.04352, 2019
532019
C2S: translating natural language comments to formal program specifications
J Zhai, Y Shi, M Pan, G Zhou, Y Liu, C Fang, S Ma, L Tan, X Zhang
Proceedings of the 28th ACM joint meeting on European software engineering …, 2020
502020
Gui-guided test script repair for mobile apps
M Pan, T Xu, Y Pei, Z Li, T Zhang, X Li
IEEE Transactions on Software Engineering 48 (3), 910-929, 2020
502020
Testing dnn-based autonomous driving systems under critical environmental conditions
Z Li, M Pan, T Zhang, X Li
International Conference on Machine Learning, 6471-6482, 2021
402021
Guider: Gui structure and vision co-guided test script repair for android apps
T Xu, M Pan, Y Pei, G Li, X Zeng, T Zhang, Y Deng, X Li
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
272021
Pi-rec: Progressive image reconstruction network with edge and color domain
S You, N You, M Pan
arXiv preprint arXiv:1903.10146, 2019
262019
Preference-wise testing for Android applications
Y Lu, M Pan, J Zhai, T Zhang, X Li
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
242019
Restore: Retrospective Fault Localization Enhancing Automated Program Repair
T Xu, L Chen, Y Pei, T Zhang, M Pan, CA Furia
IEEE Transactions on Software Engineering 48 (1), 309-326, 2020
222020
Dual-force: Understanding webview malware via cross-language forced execution
Z Tang, J Zhai, M Pan, Y Aafer, S Ma, X Zhang, J Zhao
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
212018
A bug or a suggestion? an automatic way to label issues
Y Zhu, M Pan, Y Pei, T Zhang
arXiv preprint arXiv:1909.00934, 2019
192019
An MDE-based approach to the verification of SysML state machine diagram
X Huang, Q Sun, J Li, M Pan, T Zhang
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 1-7, 2012
152012
Do developers really know how to use git commands? a large-scale study using stack overflow
W Yang, C Zhang, M Pan, C Xu, Y Zhou, Z Huang
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (3), 1-29, 2022
142022
Improving verification accuracy of CPS by modeling and calibrating interaction uncertainty
W Yang, C Xu, M Pan, X Ma, J Lu
ACM Transactions on Internet Technology (TOIT) 18 (2), 1-37, 2018
142018
A feature table approach to decomposing monolithic applications into microservices
Y Wei, Y Yu, M Pan, T Zhang
Proceedings of the 12th Asia-Pacific Symposium on Internetware, 21-30, 2020
122020
Developer portraying: A quick approach to understanding developers on OSS platforms
W Yang, M Pan, Y Zhou, Z Huang
Information and Software Technology 125, 106336, 2020
122020
Deep-diving into documentation to develop improved java-to-swift api mapping
Z Zhang, M Pan, T Zhang, X Zhou, X Li
Proceedings of the 28th International Conference on Program Comprehension …, 2020
122020
Effective testing of Android apps using extended IFML models
M Pan, Y Lu, Y Pei, T Zhang, J Zhai, X Li
Journal of Systems and Software 159, 110433, 2020
122020
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems
M Pan, S Chen, Y Pei, T Zhang, X Li
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
122019
The system can't perform the operation now. Try again later.
Articles 1–20