| 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 | 13 | 2012 |
| Pi-rec: Progressive image reconstruction network with edge and color domain S You, N You, M Pan arXiv preprint arXiv:1903.10146, 2019 | 10 | 2019 |
| Tass: Timing analyzer of scenario-based specifications M Pan, L Bu, X Li International Conference on Computer Aided Verification, 689-695, 2009 | 10 | 2009 |
| 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 | 8 | 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 | 8 | 2020 |
| An open framework for semantic code queries on heterogeneous repositories T Zhang, M Pan, J Zhao, Y Yu, X Li 2015 International Symposium on Theoretical Aspects of Software Engineering …, 2015 | 8 | 2015 |
| 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 | 7 | 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 | 6 | 2018 |
| Enhancing example-based code search with functional semantics Z Chen, R Jiang, Z Zhang, Y Pei, M Pan, T Zhang, X Li Journal of Systems and Software 165, 110568, 2020 | 5 | 2020 |
| Automatic code summarization: A systematic literature review Y Zhu, M Pan arXiv preprint arXiv:1909.04352, 2019 | 5 | 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 | 5 | 2019 |
| GUI-guided repair of mobile test scripts M Pan, T Xu, Y Pei, Z Li, T Zhang, X Li 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 5 | 2019 |
| 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 | 5 | 2018 |
| 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, 2020 | 4 | 2020 |
| 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 | 4 | 2020 |
| Static extraction of IFML models for Android apps A Huang, M Pan, T Zhang, X Li Proceedings of the 21st ACM/IEEE International Conference on Model Driven …, 2018 | 4 | 2018 |
| Uncovering unknown system behaviors in uncertain networks with model and search-based testing R Ji, Z Li, S Chen, M Pan, T Zhang, S Ali, T Yue, X Li 2018 IEEE 11th International Conference on Software Testing, Verification …, 2018 | 4 | 2018 |
| Efficient validation of self-adaptive applications by counterexample probability maximization W Yang, C Xu, M Pan, C Cao, X Ma, J Lu Journal of Systems and Software 138, 82-99, 2018 | 4 | 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 | 3 | 2020 |
| 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 | 3 | 2019 |
Yu PeiThe Hong Kong Polytechnic UniversityVerified email at polyu.edu.hk
