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),
download
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), Revised version,
download
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,
download
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
Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Shenming Lu, Yiyu Zhang, Wensheng Dou, Linzhang Wang, Xuandong Li, Guoqing Harry Xu. Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.
In ACM Transactions on Computer Systems,
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
Anxiang Xiao, Enyi Tang, Xin Chen, Linzhang Wang. Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning.
In Internetware 2020,
download
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),
download
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),
download
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),
download
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
Linna Xie, Lu Lu, Shunjie Ding, Yu Pei, Minxue Pan, Tian Zhang. Automatically Detecting Exception Handling Defects in Android Applications.
In Internetware,
download
Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun and Lei Bu. Verification Assisted Gas Reduction For Smart Contracts.
In APSEC 2021, Asia-Pacific Software Engineering Conference,
download