Longlong Lu，Minxue Pan，Tian Zhang，Xuandong Li. Improving Timing Analysis Effectiveness for Scenario-Based Specifications by Combining SAT and LP Techniques.
In Software and Systems Modeling,
download
Longlong Lu,Minxue Pan,Yifei Lu,Xuandong Li. Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection.
In TCAD,
download
Yuanhong Lan，Yifei Lu，Zhong Li，Minxue Pan，Wenhua Yang，Tian Zhang，Xuandong Li. Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning.
In ICSE'24,
download
Chun Li,Yifan Xiong, Zhong Li,Wenhua Yang,Minxue Pan. Mobile Test Script Generation from Natural Language Descriptions.
In 2024 IEEE/ACM,
download
Qian Chen，Chenyang Yu，Ruyan Liu，Chi Zhang，Yu Wang，Ke Wang，Ting Su，Linzhang Wang. Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks.
In Object Oriented Programming Systems Language And Applications（OOPSLA2024）,
download
Chi Zhang,Linzhang Wang,Manuel Rigger. Finding Cross-rule Optimization Bugs in Datalog Engines.
In OOPSLA,
download
Tingwei Zhu，Zhongxin Liu，Tongtong Xu，Ze Tang，Tian Zhang，Minxue Pan，Xin Xia. Exploring and Improving Code Completion for Test Code.
In International Conference on Program Comprehension (ICPC2024),
download
Shaoheng Cao，Minxue Pan，Yu Pei，Wenhua Yang，Tian Zhang，Linzhang Wang， Xuandong Li. Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications.
In ICSE,
download
Tingwei Zhu, Tongtong Xu, Kui Liu, Jiayuan Zhou, Xing Hu, Xin Xia, Tian Zhang and David Lo. An Empirical Study of Automatic Program Repair Techniques for Injection Vulnerabilities.
In International Conference on Software Maintenance and Evolution (ICSME2024),
download
Tingwei Zhu, Zhong Li, Tian Zhang, Minxue Pan and Xuandong Li. PRECOS: Project-specifc Retrieval for Better Code Summarization.
In International Conference on Software Maintenance and Evolution (ICSME2024),
download
Linna Xie，Chongmin Li，Yu Pei，Tian Zhang，Minxue Pan. BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments.
In ISSTA2024,
download
Xinran Yu,Chun Li，Minxue Pan，Xuandong Li. DroidCoder:Enhanced Android Code Completion with Context-Enriched Retrieval-Augmented Generation.
In IEEE/ACM,
download
Shaoheng Cao，Renyi Chen，Minxue Pan，Wenhua Yang，Xuandong Li. Beyond Manual Modeling:Automating GUI Model Generation Using Design Documents.
In ASE,
download
Yuanhong Lan,Yifei Lu,Minxue Pan,Xuandong Li. Navigating Mobile Testing Evaluation: A Comprehensive Statistical Analysis of Android GUI Testing Metrics.
In ASE,
download
Zhongzhen Wen, Yifei Lu, Tongtong Xu, Minxue Pan, Tian Zhang, Xuandong Li. Enhancing Web Test Script Repair Using Integrated UI Structural and Visual Information.
In ISSTA,
download
Jian Shen, Zhong Li, Minxue Pan, Xuandong Li. Prioritizing Test Inputs for DNNs Using Training Dynamics.
In ASE,
download
Chi Zhang. Step-wise Execution of Data-Centric Systems.
In OOPSLA2024Companion,
download
Xiao Guo，Jianhua Zhao，Lei Bu. Poles-based Invariant Generation for Verifying the BIBO Staility of Digital Filters.
In HSCC 2024,
download
YIYU ZHANG, TIANYI LIU, YUEYANG WANG, YUN QI, KAI JI, JIAN TANG, XIAOLIANG WANG, XUANDONG LI, ZHIQIANG ZUO. HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing.
In OOPSLA'24,
download
