| 2025 | ICSE | Enhancing Fault Localization in Industrial Software Systems via Contrastive Learning. | Chun Li, Hui Li, Zhong Li, Minxue Pan, Xuandong Li |
| 2025 | ICSE | GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors. | Heng Yong, Zhong Li, Minxue Pan, Tian Zhang, Jianhua Zhao, Xuandong Li |
| 2025 | ICTAC | Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled Systems. | Yi Luo, Xin Chen, Jin Dai, Enyi Tang, Xuandong Li |
| 2025 | RTSS | Accelerating Timing Specification Verification of Interrupt-Driven Real-Time Systems. | Yufei Shi, Longlong Lu, Minxue Pan, Xuandong Li |
| 2024 | CAV | Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. | Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu, Xuandong Li |
| 2024 | ICSE | Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications. | Shaoheng Cao, Minxue Pan, Yu Pei, Wenhua Yang, Tian Zhang, Linzhang Wang, Xuandong Li |
| 2024 | ICSE | Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning. | Yuanhong Lan, Yifei Lu, Zhong Li, Minxue Pan, Wenhua Yang, Tian Zhang, Xuandong Li |
| 2024 | ISSTA | Distance-Aware Test Input Selection for Deep Neural Networks. | Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang, Linzhang Wang, Xuandong Li |
| 2024 | ISSTA | Silent Taint-Style Vulnerability Fixes Identification. | Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang, Xing Hu, Tongtong Xu, Tian Zhang, Xuandong Li |
| 2023 | ICSE | Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization. | Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li |
| 2023 | ISSTA | Security Checking of Trigger-Action-Programming Smart Home Integrations. | Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li |
| 2023 | ISSTA | Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. | Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo |
| 2022 | ICASSP | Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks. | Qingye Zhao, Xin Chen, Zhuoyu Zhao, Enyi Tang, Xuandong Li |
| 2022 | ICST | Documentation-based functional constraint generation for library methods. | Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li |
| 2022 | ISSTA | Detecting resource utilization bugs induced by variant lifecycles in Android. | Yifei Lu, Minxue Pan, Yu Pei, Xuandong Li |
| 2022 | TACAS | BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). | Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li |
| 2022 | VMCAI | Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. | Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li |
| 2021 | DAC | Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. | Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li |
| 2021 | FM | Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. | Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li |
| 2021 | ICML | Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions. | Zhong Li, Minxue Pan, Tian Zhang, Xuandong Li |
| 2021 | ISSTA | GUIDER: GUI structure and vision co-guided test script repair for Android apps. | Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li |
| 2021 | PLDI | JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace. | Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu |
| 2021 | PLDI | Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. | Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu |
| 2020 | CAV | A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation. | Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li |
| 2020 | DATE | Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. | Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li |
| 2020 | ISSTA | Reinforcement learning based curiosity-driven testing of Android applications. | Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, Xuandong Li |
| 2019 | DATE | Incremental Online Verification of Dynamic Cyber-Physical Systems. | Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li |
| 2019 | EuroSys | Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code. | Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li |
| 2019 | ICSE | Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. | Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li |
| 2019 | ICSE | GUI-guided repair of mobile test scripts. | Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li |
| 2019 | ICSE | Energy distribution matters in greybox fuzzing. | Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu |
| 2019 | ICSE | Global optimization of numerical programs via prioritized stochastic algebraic transformations. | Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li |
| 2018 | ICSE | Detecting missing checks for identifying insufficient attack protections. | Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li |
| 2018 | ICST | Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. | Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li |
| 2018 | MODELS | Static extraction of IFML models for Android apps. | An Huang, Minxue Pan, Tian Zhang, Xuandong Li |
| 2018 | QRS | Change-Based Test Script Maintenance for Android Apps. | Nana Chang, Linzhang Wang, Yu Pei, Subrota K. Mondal, Xuandong Li |
| 2017 | IJCAI | Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. | Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li |
| 2017 | ICST | ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications. | Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang, Xuandong Li |
| 2017 | ISSTA | Automatic detection and validation of race conditions in interrupt-driven embedded software. | Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li |
| 2016 | IJCAI | Hierarchical Model Predictive Control for Multi-Robot Navigation. | Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li |
| 2016 | ICST | An Empirical Study on Detecting and Fixing Buffer Overflow Bugs. | Tao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li |
| 2016 | QRS | Precondition Calculation for Loops Iterating over Data Structures. | Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li |
| 2015 | QRS | Node-Set Analysis for Linked Recursive Data Structures. | Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li |
| 2015 | UIC | Controlling Smart TVs Using Touch Gestures on Mobile Devices. | Jiaxu Sun, Yongchao Li, Linzhang Wang, Xuandong Li, Xiaoxiao Ma, Jing Xu, Guanling Chen |
| 2015 | RTAS | Optimizing deterministic garbage collection in NAND flash storage systems. | Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao |
| 2015 | TASE | An Open Framework for Semantic Code Queries on Heterogeneous Repositories. | Tian Zhang, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li |
| 2014 | SEKE | An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability. | Xiaoli Zhou, Linzhang Wang, Xuandong Li, Jianhua Zhao |
| 2014 | RTSS | Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification. | Dingbao Xie, Lei Bu, Xuandong Li |
| 2013 | ASPDAC | Optimizing translation information management in NAND flash memory storage systems. | Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao |
| 2013 | ICTAC | Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures. | Jianhua Zhao, Xuandong Li |
| 2013 | Mobiquitous | A New Method for Automated GUI Modeling of Mobile Applications. | Jing Xu, Xiang Ding, Guanling Chen, Jill L. Drury, Linzhang Wang, Xuandong Li |
| 2013 | OOPSLA | Steering symbolic execution to less traveled paths. | You Li, Zhendong Su, Linzhang Wang, Xuandong Li |
| 2012 | APSEC | Proactive Enforcement of Data Consistency by Business Processes. | Xi Liu, Jianwen Su, Xuandong Li |
| 2012 | APSEC | Query by Drawing Examples of UML Model. | Xuelin Zhang, Tian Zhang, Xuandong Li |
| 2012 | FMCAD | Forward and backward: Bounded model checking of linear hybrid automata from two directions. | Yang Yang, Lei Bu, Xuandong Li |
| 2012 | SEKE | Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. | Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li |
| 2012 | TASE | Regression Test Cases Generation Based on Automatic Model Revision. | Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li |
| 2010 | DATE | BACH 2 : Bounded reachability checker for compositional linear hybrid systems. | Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li |
| 2010 | FORTE | Model Checking of Hybrid Systems Using Shallow Synchronization. | Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta |
| 2010 | ICECCS | McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. | Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li |
| 2010 | ICSE | Enabling multi-core based monitoring and fault tolerance in C++/Java. | Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li |
| 2010 | ISoLA | Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination. | Qian Li, Jianhua Zhao, Xuandong Li |
| 2010 | ISSTA | Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. | Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su |
| 2010 | VMCAI | Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. | Lei Bu, Jianhua Zhao, Xuandong Li |
| 2009 | CAV | TASS: Timing Analyzer of Scenario-Based Specifications. | Minxue Pan, Lei Bu, Xuandong Li |
| 2009 | HPCC | A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture. | Lu Yang, Zhanqi Cui, Xuandong Li |
| 2009 | SAC | Modeling and integrating aspects with UML activity diagrams. | Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu |
| 2008 | FMCAD | BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. | Lei Bu, You Li, Linzhang Wang, Xuandong Li |
| 2008 | ICSE | A case study for monitoring-oriented programming in multi-core architecture. | Lu Yang, Jianwen Tang, Jianhua Zhao, Xuandong Li |
| 2008 | ICST | UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. | Bin Lei, Linzhang Wang, Xuandong Li |
| 2008 | ISoLA | A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. | Jianhua Zhao, Linzhang Wang, Xuandong Li |
| 2008 | SAC | UML state machine diagram driven runtime verification of Java programs for message interaction consistency. | Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong |
| 2006 | EDOC | A Model Driven Development Framework for Enterprise Web Services. | Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li |
| 2006 | EUC | Modelling and Analysis of Power Consumption for Component-Based Embedded Software. | Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang |
| 2006 | FORTE | Scenario-Based Timing Consistency Checking for Time Petri Nets. | Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng |
| 2006 | ICFEM | Scenario-Based Component Behavior Derivation. | Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng |
| 2006 | ICSE | Automatic Test Case Generation for UML Activity Diagrams. | Mingsong Chen, Xiaokang Qiu, Xuandong Li |
| 2006 | ISoLA | Improve Model Checking Efficiency Using Specific Knowledge about the System. | Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng |
| 2005 | EUC | Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. | Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng |
| 2004 | APSEC | Generating Test Cases from UML Activity Diagram based on Gray-Box Method. | Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng |
| 2004 | ISORC | Verifying Compositional Designs for Scenario-Based Timing Specifications. | Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng |
| 2000 | APSEC | Checking compositions of UML sequence diagrams for timing inconsistency. | Xuandong Li, Johan Lilius |
| 1996 | APSEC | A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. | Xuandong Li, Guoliang Zheng |