Xuandong Li

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 91

Top Venues

Internetware

ISSTA

J. Comput. Sci. Technol.

ICSE

Publications

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. CoRR (2024)
Jian Shen, Zhong Li, Yifei Lu, Minxue Pan, Xuandong Li
Mitigating the impact of mislabeled data on deep predictive models: an empirical study of learning with noise approaches in software engineering tasks. Autom. Softw. Eng. 31 (1) (2024)
Yuanhong Lan, Yifei Lu, Zhong Li, Minxue Pan, Wenhua Yang, Tian Zhang, Xuandong Li
Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning. ICSE (2024)
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. ICSE (2024)
Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su
Understanding and Finding Java Decompiler Bugs. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu, Xuandong Li
Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. CAV (3) (2024)
Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li
Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li
Empirically revisiting and enhancing automatic classification of bug and non-bug issues. Frontiers Comput. Sci. 18 (5) (2024)
Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li
Security Checking of Trigger-Action-Programming Smart Home Integrations. ISSTA (2023)
Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li
Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization. ICSE Companion (2023)
Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework. ESEC/SIGSOFT FSE (2023)
Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, Jin Shi
Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware. IEEE Internet Things J. 10 (23) (2023)
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. CoRR (2023)
Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo
Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. ISSTA (2023)
Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Xuandong Li
Preference-wise Testing of Android Apps via Test Amplification. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li
Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets. ASE (2022)
Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li
Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. VMCAI (2022)
Zhengmin Li, Enyi Tang, Xin Chen, Linzhang Wang, Xuandong Li
Graph Neural Network based Two-Phase Fault Localization Approach. Internetware (2022)
Qingye Zhao, Yi Zhang, Xuandong Li
Safe reinforcement learning for dynamical systems using barrier certificates. Connect. Sci. 34 (1) (2022)
Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (2) (2022)
Yifei Lu, Minxue Pan, Yu Pei, Xuandong Li
Detecting resource utilization bugs induced by variant lifecycles in Android. ISSTA (2022)
Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li
DeepLabel: Automated Issue Classification for Issue Tracking Systems. Internetware (2022)
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. IEEE Trans. Software Eng. 48 (2) (2022)
Longlong Lu, Minxue Pan, Tian Zhang, Xuandong Li
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques. Softw. Syst. Model. 21 (4) (2022)
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Enyi Tang, Xuandong Li
Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks. ICASSP (2022)
Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). TACAS (2) (2022)
Guiyin Li, Fengyi Zhu, Jun Pang, Tian Zhang, Minxue Pan, Xuandong Li
Functional Scenario Classification for Android Applications using GNNs. Internetware (2022)
Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li
Documentation-based functional constraint generation for library methods. ICST (2022)
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li
Verifying Neural Network Controlled Systems Using Neural Networks. HSCC (2022)
Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li
GUI-Guided Test Script Repair for Mobile Apps. IEEE Trans. Software Eng. 48 (3) (2022)
Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization. HSCC (2021)
Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan. ACM Trans. Comput. Syst. 38 (1-2) (2021)
Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li
Documentation-based functional constraint generation for library methods. Softw. Test. Verification Reliab. 31 (8) (2021)
Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis. Int. J. Softw. Informatics 11 (2) (2021)
Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li
Machine learning steered symbolic execution framework for complex software code. Formal Aspects Comput. 33 (3) (2021)
Lingyun Situ, Zhiqiang Zuo, Le Guan, Linzhang Wang, Xuandong Li, Jin Shi, Peng Liu
Vulnerable Region-Aware Greybox Fuzzing. J. Comput. Sci. Technol. 36 (5) (2021)
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace. PLDI (2021)
Zhong Li, Minxue Pan, Tian Zhang, Xuandong Li
Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions. ICML (2021)
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. PLDI (2021)
Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. DAC (2021)
Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. HSCC (2021)
Rong Gu, Zhiqiang Zuo, Xi Jiang, Han Yin, Zhaokang Wang, Linzhang Wang, Xuandong Li, Yihua Huang
Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation. IEEE Trans. Parallel Distributed Syst. 32 (4) (2021)
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li
GUIDER: GUI structure and vision co-guided test script repair for Android apps. ISSTA (2021)
Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li
Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. FM (2021)
Zejun Zhang, Minxue Pan, Tian Zhang, Xinyu Zhou, Xuandong Li
Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping. ICPC (2020)
Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li
A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation. CAV (1) (2020)
Tao Xie, Zhi Jin, Xuandong Li, Gang Huang, Hausi A. Müller, Jun Pang, Li-Jun Zhang
Preface. J. Comput. Sci. Technol. 35 (6) (2020)
Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li
Effective testing of Android apps using extended IFML models. J. Syst. Softw. 159 (2020)
Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li
Automatic Buffer Overflow Warning Validation. J. Comput. Sci. Technol. 35 (6) (2020)
Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li
Enhancing example-based code search with functional semantics. J. Syst. Softw. 165 (2020)
Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, Xuandong Li
Reinforcement learning based curiosity-driven testing of Android applications. ISSTA (2020)
Lei Bu, Qixin Wang, Xinyue Ren, Shaopeng Xing, Xuandong Li
Scenario-Based Online Reachability Validation for CPS Fault Prediction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (10) (2020)
Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li
Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. DATE (2020)
Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li
Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code. EuroSys (2019)
Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li
Automatic Detection and Repair Recommendation for Missing Checks. J. Comput. Sci. Technol. 34 (5) (2019)
Zhengzhao Chen, Renhe Jiang, Minxue Pan, Tian Zhang, Xuandong Li
基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow). 计算机科学 46 (11) (2019)
Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. ICSE (2019)
Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li
Global optimization of numerical programs via prioritized stochastic algebraic transformations. ICSE (2019)
Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT. SETSS (2019)
Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li
GUI-guided repair of mobile test scripts. ICSE (Companion Volume) (2019)
Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, Xuandong Li
Preference-wise testing for Android applications. ESEC/SIGSOFT FSE (2019)
Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu
Energy distribution matters in greybox fuzzing. ICSE (Companion Volume) (2019)
Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li
Incremental Online Verification of Dynamic Cyber-Physical Systems. DATE (2019)
Zhiqiang Zuo, Rong Gu, Xi Jiang, Zhaokang Wang, Yihua Huang, Linzhang Wang, Xuandong Li
BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud. IPDPS (2019)
Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li
DangDone: Eliminating Dangling Pointers via Intermediate Pointers. Internetware (2018)
An Huang, Minxue Pan, Tian Zhang, Xuandong Li
Static extraction of IFML models for Android apps. MoDELS (Companion) (2018)
Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li
Detecting missing checks for identifying insufficient attack protections. ICSE (Companion Volume) (2018)
Nana Chang, Linzhang Wang, Yu Pei, Subrota K. Mondal, Xuandong Li
Change-Based Test Script Maintenance for Android Apps. QRS (2018)
Pengcheng Zhang, Patrizio Pelliccione, Hareton Leung, Xuandong Li
Automatic generation of predictive monitors from scenario-based specifications. Inf. Softw. Technol. 98 (2018)
Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li
Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities. Internetware (2018)
Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li
Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Softw. Eng. Notes 43 (3) (2018)
Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. ICST (2018)
Lei Bu, Wen Xiong, Chieh-Jan Mike Liang, Shi Han, Dongmei Zhang, Shan Lin, Xuandong Li
Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems. ACM Trans. Cyber Phys. Syst. 2 (3) (2018)
Xuandong Li, Zhiming Liu
Editorial. Formal Aspects Comput. 29 (4) (2017)
Dingbao Xie, Wen Xiong, Lei Bu, Xuandong Li
Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure. IEEE Trans. Computers 66 (3) (2017)
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li
Sketch-guided GUI test generation for mobile applications. ASE (2017)
Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang, Xuandong Li
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications. ICST (2017)
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. IJCAI (2017)
Enyi Tang, Xiangyu Zhang, Norbert Th. Müller, Zhenyu Chen, Xuandong Li
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing. IEEE Trans. Software Eng. 43 (10) (2017)
Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
Automatic detection and validation of race conditions in interrupt-driven embedded software. ISSTA (2017)
Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li
Symbolic execution of complex program driven by machine learning based constraint solving. ASE (2016)
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
Hierarchical Model Predictive Control for Multi-Robot Navigation. IJCAI (2016)
Fengjuan Gao, Linzhang Wang, Xuandong Li
BovInspector: automatic inspection and repair of buffer overflow vulnerabilities. ASE (2016)
Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li
Precondition Calculation for Loops Iterating over Data Structures. QRS (2016)
Tao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li
An Empirical Study on Detecting and Fixing Buffer Overflow Bugs. ICST (2016)
Yang Liu, Xuandong Li, Yan Ma
A Game-Based Approach for PCTL* Stochastic Model Checking with Evidence. J. Comput. Sci. Technol. 31 (1) (2016)
Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li
ACSPChecker: an ASP based CSP model checking tool. Internetware (2016)
Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ, Linzhang Wang, Xuandong Li
Carraybound: static array bounds checking in C programs based on taint analysis. Internetware (2016)
Jianhua Zhao, Xuandong Li
Formal Verification of 'Programming to Interfaces' Programs. Int. J. Softw. Informatics 10 (4) (2016)
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao
Optimizing deterministic garbage collection in NAND flash storage systems. RTAS (2015)
Jiaxu Sun, Yongchao Li, Linzhang Wang, Xuandong Li, Xiaoxiao Ma, Jing Xu, Guanling Chen
Controlling Smart TVs Using Touch Gestures on Mobile Devices. UIC/ATC/ScalCom (2015)
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao
Lazy-RTGC: A Real-Time Lazy Garbage Collection Mechanism with Jointly Optimizing Average and Worst Performance for NAND Flash Memory Storage Systems. ACM Trans. Design Autom. Electr. Syst. 20 (3) (2015)
Tian Zhang, Xiaomei Zheng, Yan Zhang, Jianhua Zhao, Xuandong Li
A declarative approach for Java code instrumentation. Softw. Qual. J. 23 (1) (2015)
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
Node-Set Analysis for Linked Recursive Data Structures. QRS (2015)
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
Analyzing Inductively Defined Properties for Recursive Data Structures. Internetware (2015)
Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li
Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. Internetware (2015)
Yan Zhou, You Li, Linzhang Wang, Xuandong Li
nCov: A Tool for Measuring Length-n Subpath Coverage. Internetware (2015)
Tian Zhang, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li
An Open Framework for Semantic Code Queries on Heterogeneous Repositories. TASE (2015)

Xuandong Li.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xuandong Li