Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
[Accepted] [2020] [2019] [2018]
Selected Publications
    International Journal
  • Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia. RESTORE: Restrospective Fault Localization Enhancing Automated Program Repair.  In  IEEE Transactions on Software Engineering (TSE),
  • Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li. Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.  In  IEEE Transactions on Software Engineering (TSE),
  • Minxue Pan, Tian Zhang, Xuandong Li. Effective Testing of Android Apps Using Extended IFML Models.  In  Journal of Systems and Software (JSS), Vol.159, No.1,
  • Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li. Enhancing Example-Based Code Search with Functional Semantics.  In  Journal of Systems and Software (JSS), Vol.165, No.7,
  • Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, and Carlo A. Furia. RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair.  In  IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, download
  • Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li. GUI-Guided Test Script Repair for Mobile Apps.  In  IEEE Transactions on Software Engineering, download
  • Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Member, IEEE, Jianhua Zhao, and Xuandong Li. Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.  In  IEEE Transactions on Software Engineering (TSE), download
  • Chinese Journal
    N/A
    International Conference & Workshop
  • Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifan Zhang, Xuandong Li. A Novel Approach for Solving the BMI Problem in Barrier Certicates Generation.  In  Proceedings of 32nd International Conference on Computer-Aided Verification (CAV 2020),
  • Zejun Zhang, Minxue Pan, Tian Zhang, Xinyu Zhou, Xuandong Li. Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping.  In  Proceedings of the 28th ACM/IEEE International Conference on Program Comprehension (ICPC 2020),
  • Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, Xuandong Li. Reinforcement Learning Based Curiosity-driven Testing of Android Applications.  In  Proceedings of International Conference on Software Testing and Analysis (ISSTA 2020),
  • Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng. VLL-MPC: A Hierarchical MPC foe WMR Navigation.  In  Proceedings of International Conference on Robotics and Automation (ICRA 2020),
  • 王豫,高凤娟,马可欣,司徒凌云,王林章,陈碧欢,刘杨,赵建华,李宣东。垂悬指针检测与防御方法。 软件学报, download