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 | 134 | 2020 |
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 | 45 | 2020 |
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 | 43 | 2020 |
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 | 41 | 2020 |
Automatic code summarization: A systematic literature review Y Zhu, M Pan arXiv preprint arXiv:1909.04352, 2019 | 41 | 2019 |
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 | 30 | 2021 |
Pi-rec: Progressive image reconstruction network with edge and color domain S You, N You, M Pan arXiv preprint arXiv:1903.10146, 2019 | 26 | 2019 |
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 | 22 | 2019 |
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 | 20 | 2021 |
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 | 18 | 2020 |
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 | 18 | 2019 |
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 | 15 | 2018 |
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 | 15 | 2012 |
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 | 13 | 2018 |
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 | 11 | 2020 |
Template-based model generation X He, T Zhang, M Pan, Z Ma, CJ Hu Software & Systems Modeling 18, 2051-2092, 2019 | 11 | 2019 |
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 | 11 | 2019 |
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 | 11 | 2018 |
Tass: Timing analyzer of scenario-based specifications M Pan, L Bu, X Li Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 11 | 2009 |
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 | 10 | 2020 |