Seguir
Minxue Pan
Título
Citado por
Citado por
Año
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
1272020
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
422020
Automatic code summarization: A systematic literature review
Y Zhu, M Pan
arXiv preprint arXiv:1909.04352, 2019
402019
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
392020
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
372020
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
292021
Pi-rec: Progressive image reconstruction network with edge and color domain
S You, N You, M Pan
arXiv preprint arXiv:1903.10146, 2019
282019
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
222019
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
192020
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
172021
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
162019
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
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
132018
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
122018
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
112020
Semantics-based code search using input/output examples
R Jiang, Z Chen, Z Zhang, Y Pei, M Pan, T Zhang
2018 IEEE 18th International Working Conference on Source Code Analysis and …, 2018
112018
Tass: Timing analyzer of scenario-based specifications
M Pan, L Bu, X Li
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
112009
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
102020
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
102020
Execution enhanced static detection of android privacy leakage hidden by dynamic class loading
Y Yang, W Luo, Y Pei, M Pan, T Zhang
2019 IEEE 43rd annual computer software and applications conference (COMPSAC …, 2019
102019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20