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,
download
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
FengJuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang and Xuandong Li. Automatic Buffer Overflow Warning Validation.
In JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,
download
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),
Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang. Learning Semantic Program Embeddings with Graph Interval Neural Network.
In oopsla,
download