-
[TSE 2020] Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, and Xuandong Li. GUI-Guided Test Script Repair for Mobile Apps. IEEE Transactions on Software Engineering, early access. [link] [pdf]
-
[ESEC/FSE 2020] Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, Shiqing Ma, Lin Tan, and Xiangyu Zhang. C2S: Translating Natural Language Comments to Formal Program Specifications. In Proceedings of the 28th ACM Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 25-37. November 8–13, 2020, Virtual Event, USA. [acceptance rate: 101/360=28%] [pdf]
-
[ISSTA 2020] Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, and Xuandong Li. Reinforcement Learning Based Curiosity-driven Testing of Android Applications. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 153-164. July 18–22, 2020, Virtual Event, USA. [acceptance rate: 74/303=24.4%][link] [pdf]
-
[TSE 2020] Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia. RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair. IEEE Transactions on Software Engineering, early access. [link] [pdf]
-
[ICPC 2020] Zejun Zhang, Minxue Pan, Tian Zhang, Xinyu Zhou, and Xuandong Li. Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping. In Proceedings of the 28th IEEE/ACM International Conference on Program Comprehension, pp. 106-116. July 13-15, 2020, Virtual Event, Republic of Korea. [link] [pdf]
-
[JSS 2020] Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang and Xuandong Li. Enhancing Example-Based Code Search with Functional Semantics. Journal of Systems and Software, Volume 165, 2020, Article 110568. [link] [pdf]
-
[ICSE 2020] Juan Zhai, Xiangzhe Xu, Yu Shi, Guanhong Tao, Minxue Pan, Shiqing Ma, Lei Xu, Weifeng Zhang, Lin Tan, Xiangyu Zhang. CPC: Automatically Classifying and Propagating Natural Language Comments via Program Analysis. In Proceedings of the 42st International Conference on Software Engineering, pp. 1359-1371. July 6-11, 2020, Virtual Event, Republic of Korea. [acceptance rate: 129/617=20.9%] [link] [pdf]
-
[JSS 2020] Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li. Effective Testing of Android Apps Using Extended IFML Models. Journal of Systems and Software, Volume 159, 2020, Article 110433. [link] [pdf]
-
[ESEC/FSE 2019] Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, and Xuandong Li. Preference-Wise Testing for Android Applications. In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 268-278. August 26–30, 2019, Tallinn, Estonia. [acceptance rate: 74/303=24.4%][link] [pdf]
-
[COMPSAC 2019] Yufei Yang, Wenbo Luo, Yu Pei, Minxue Pan and Tian Zhang. Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading. In Proceedings of the 43rd IEEE International Conference on Computers, Software & Applications, pp. 149-158. July 15-19, 2019, Milwaukee, Wisconsin, USA. [link] [pdf]
-
[ICSE 2019] Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, and Xuandong Li. Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. In Proceedings of the 41st International Conference on Software Engineering, pp. 212-222. May 25-31, 2019, Montréal, QC, Canada. [acceptance rate: 105/502=20.9%] [link] [pdf]
-
[SoSyM 2019] Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, and Chang-Jun Hu. Template-based model generation. Software & Systems Modeling (2019), Volume 18, Issue 3, pp. 2051–2092. [link]
-
[ASE 2018] Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, and Jianhua Zhao. Dual-force: understanding WebView malware via cross-language forced execution. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, pp. 714-725. September 3-7, 2018, Montpellier, France. [acceptance rate: 83/346=23.9%] [link] [pdf]
-
[SCAM 2018] Renhe Jiang, Zhengzhao Chen, Zejun Zhang, Yu Pei, Minxue Pan and Tian Zhang. Semantics-Based Code Search Using Input/Output Examples. In Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 92-102. September 23-24, 2018, Madrid, Spain. [link] [pdf]
-
[TOIT 2018] Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, and Jian Lu. Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. ACM Transactions on Internet Technology (2018), Volume 18 Issue 2, Article No. 20. [link] [pdf]
-
[JSS 2018] Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, and Jian Lu. Efficient validation of self-adaptive applications by counterexample probability maximization. Journal of Systems and Software (2018), Volume 138, pp. 82-99. [link] [pdf]
-
[ICST 2018] Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue and Xuandong Li. Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. In Proceedings of the IEEE 11th International Conference on Software Testing, Verification and Validation, pp. 204–214. April 9-13, 2018, Västerås, Sweden. [link] [pdf]
|