Xuandong Li

245 papers A* 24A 29B 7C 19Misc 7Journal 89Unranked 65
YearRankTypeTitle / Venue / Authors
2026 J jnl
Decomposition then watermarking: Enhancing code traceability with dual-channel code watermarking.
Autom. Softw. Eng.
Haibo Lin, Zhong Li, Ruihua Ji, Minxue Pan, Tian Zhang, Nan Wu, Xuandong Li
2026 J jnl
Improving Test Efficacy for Large-Scale Android Applications by Exploiting GUI and Functional Equivalence.
ACM Trans. Softw. Eng. Methodol.
Yifei Lu, Minxue Pan, Haochuan Lu, Yuetang Deng, Tian Zhang, Linzhang Wang, Xuandong Li
2026 J jnl
Scaling Inter-procedural Dataflow Analysis on the Cloud.
ACM Trans. Program. Lang. Syst.
Zewen Sun, Yujin Zhang, Yueyang Wang, Duanchen Xu, Yiyu Zhang, Yun Qi, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo, Zhiqiang Zuo
2026 J jnl
Trap: Mitigating Poisoning-Based Backdoor Attacks by Treating Poison With Poison.
IEEE Trans. Dependable Secur. Comput.
Chun Li, Zhong Li, Minxue Pan, Xuandong Li
2026 J jnl
Verifying hybrid automata networks guided by task scenarios.
Formal Methods Syst. Des.
Longlong Lu, Yufei Shi, Minxue Pan, Xuandong Li
2025 J jnl
A Benchmark for Localizing Code and Non-Code Issues in Software Projects.
CoRR
Zejun Zhang, Jian Wang, Qingyun Yang, Yifan Pan, Yi Tang, Yi Li, Zhenchang Xing, Tian Zhang, Xuandong Li, Guoan Zhang
2025 J jnl
A Mixed-Methods Study of Model-Based GUI Testing in Real-World Industrial Settings.
Proc. ACM Softw. Eng.
Shaoheng Cao, Renyi Chen, Wenhua Yang, Minxue Pan, Xuandong Li
2025 J jnl
A proposed innovative approach for predicting the torsional moment capacity of half-shaft based on static FEM.
Adv. Eng. Softw.
Junlou Li, Yipo Kang, Jianjiao Deng, Xuandong Li, Youlong Zhang, Bo Yan
2025 A conf
Accelerating Timing Specification Verification of Interrupt-Driven Real-Time Systems.
RTSS
Yufei Shi, Longlong Lu, Minxue Pan, Xuandong Li
2025 J jnl
BlockSOP: A blockchain-based software management platform for open collaborative development.
J. Syst. Softw.
Shuoxiao Zhang, Enyi Tang, Haoliang Cheng, Xinyu Gao, An Guo, Jianhua Zhao, Xin Chen, Linzhang Wang, Na Meng, Xuandong Li
2025 J jnl
Checking Bounded Reachability of Compositional Linear Hybrid Automata Using Interaction Relations.
ACM Trans. Embed. Comput. Syst.
Yuhui Shi, Yuming Wu, Lei Bu, Xuandong Li
2025 — conf
Emerging Compiler Testing Based on Test Case Reuse.
Internetware
Kelin Zhu, Yu Wang, Linzhang Wang, Xuandong Li
2025 A* conf
Enhancing Fault Localization in Industrial Software Systems via Contrastive Learning.
ICSE
Chun Li, Hui Li, Zhong Li, Minxue Pan, Xuandong Li
2025 J jnl
Exploring the Effectiveness of Open-Source Donation Platform: An Empirical Study on Opencollective.
J. Softw. Evol. Process.
Shuoxiao Zhang, Enyi Tang, Xinyu Gao, Zhekai Zhang, Yixiao Shan, Haofeng Zhang, Ziyang He, Jianhua Zhao, Xuandong Li
2025 A* conf
GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors.
ICSE
Heng Yong, Zhong Li, Minxue Pan, Tian Zhang, Jianhua Zhao, Xuandong Li
2025 J jnl
Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Longlong Lu, Minxue Pan, Yifei Lu, Xuandong Li
2025 J jnl
HybridPersist: A Compiler Support for User-Friendly and Efficient PM Programming.
Proc. ACM Program. Lang.
Yiyu Zhang, Yongzhi Wang, Yanfeng Gao, Xuandong Li, Zhiqiang Zuo
2025 J jnl
Improving Graph Learning-Based Fault Localization with Tailored Semi-supervised Learning.
Proc. ACM Softw. Eng.
Chun Li, Hui Li, Zhong Li, Minxue Pan, Xuandong Li
2025 J jnl
Intention-Based GUI Test Migration for Mobile Apps using Large Language Models.
Proc. ACM Softw. Eng.
Shaoheng Cao, Minxue Pan, Yuanhong Lan, Xuandong Li
2025 C conf
Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled Systems.
ICTAC
Yi Luo, Xin Chen, Jin Dai, Enyi Tang, Xuandong Li
2025 — conf
Modeling Go Concurrency: A Static Analysis Approach to Data Race Detection.
Internetware
Fengjuan Gao, Mumu Zhang, Zixiao Zhao, Yu Wang, Xuandong Li
2025 A* conf
NATE: A Network-Aware Testing Enhancer for Network-Related Fault Detection in Android Apps.
ASE
Yuanhong Lan, Shaoheng Cao, Yifei Lu, Minxue Pan, Xuandong Li
2025 J jnl
PReMM: LLM-Based Program Repair for Multi-method Bugs via Divide and Conquer.
Proc. ACM Program. Lang.
Linna Xie, Zhong Li, Yu Pei, Zhongzhen Wen, Kui Liu, Tian Zhang, Xuandong Li
2025 — ed.
Proceedings of the 16th International Conference on Internetware, Internetware 2025, Trondheim, Norway, June 20-22, 2025
Internetware
Hong Mei, Jian Lv, Zhi Jin, Xuandong Li, Thomas Zimmermann, Ge Li, Lei Bu, Xin Xia
2025 J jnl
TailTracer: Continuous Tail Tracing for Production Use.
Proc. ACM Program. Lang.
Tianyi Liu, Yi Li, Yiyu Zhang, Zhuangda Wang, Rongxin Wu, Xuandong Li, Zhiqiang Zuo
2025 J jnl
Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis.
Proc. ACM Program. Lang.
Chaoyue Zhang, Longlong Lu, Yifei Lu, Minxue Pan, Xuandong Li
2024 A* conf
AACEGEN: Attention Guided Adversarial Code Example Generation for Deep Code Models.
ASE
Zhong Li, Chong Zhang, Minxue Pan, Tian Zhang, Xuandong Li
2024 A* conf
Beyond Manual Modeling: Automating GUI Model Generation Using Design Documents.
ASE
Shaoheng Cao, Renyi Chen, Minxue Pan, Wenhua Yang, Xuandong Li
2024 A* conf
Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications.
ICSE
Shaoheng Cao, Minxue Pan, Yu Pei, Wenhua Yang, Tian Zhang, Linzhang Wang, Xuandong Li
2024 J jnl
Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization.
ACM Trans. Softw. Eng. Methodol.
Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li
2024 A* conf
Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning.
ICSE
Yuanhong Lan, Yifei Lu, Zhong Li, Minxue Pan, Wenhua Yang, Tian Zhang, Xuandong Li
2024 A conf
Distance-Aware Test Input Selection for Deep Neural Networks.
ISSTA
Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang, Linzhang Wang, Xuandong Li
2024 A* conf
DroidCoder: Enhanced Android Code Completion with Context-Enriched Retrieval-Augmented Generation.
ASE
Xinran Yu, Chun Li, Minxue Pan, Xuandong Li
2024 J jnl
Empirically revisiting and enhancing automatic classification of bug and non-bug issues.
Frontiers Comput. Sci.
Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li
2024 A conf
Enhancing Web Test Script Repair Using Integrated UI Structural and Visual Information.
ICSME
Zhongzhen Wen, Yifei Lu, Tongtong Xu, Minxue Pan, Tian Zhang, Xuandong Li
2024 J jnl
HardRace: A Dynamic Data Race Monitor for Production Use.
CoRR
Xudong Sun, Zhuo Chen, Jingyang Shi, Yiyu Zhang, Peng Di, Xuandong Li, Zhiqiang Zuo
2024 J jnl
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing.
CoRR
Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, Zhiqiang Zuo
2024 J jnl
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing.
Proc. ACM Program. Lang.
Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, Zhiqiang Zuo
2024 J jnl
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.
Jian Shen, Zhong Li, Yifei Lu, Minxue Pan, Xuandong Li
2024 A* conf
Navigating Mobile Testing Evaluation: A Comprehensive Statistical Analysis of Android GUI Testing Metrics.
ASE
Yuanhong Lan, Yifei Lu, Minxue Pan, Xuandong Li
2024 A conf
PRECOS: Project-specific Retrieval for Better Code Summarization.
ICSME
Tingwei Zhu, Zhong Li, Tian Zhang, Minxue Pan, Xuandong Li
2024 A* conf
Prioritizing Test Inputs for DNNs Using Training Dynamics.
ASE
Jian Shen, Zhong Li, Minxue Pan, Xuandong Li
2024 J jnl
Scaling Inter-procedural Dataflow Analysis on the Cloud.
CoRR
Zewen Sun, Yujin Zhang, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Yi Li, Zhaokang Wang, Yue Li, Xuandong Li, Zhiqiang Zuo, Qingda Lu, Wenwen Peng, Shengjian Guo
2024 — conf
Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs.
CAV (3)
Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu, Xuandong Li
2024 A conf
Silent Taint-Style Vulnerability Fixes Identification.
ISSTA
Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang, Xing Hu, Tongtong Xu, Tian Zhang, Xuandong Li
2024 J jnl
Understanding and Finding Java Decompiler Bugs.
Proc. ACM Program. Lang.
Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su
2023 J jnl
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.
CoRR
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li
2023 — conf
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework.
ESEC/SIGSOFT FSE
Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo
2023 A conf
Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration.
ISSTA
Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo
2023 J jnl
Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware.
IEEE Internet Things J.
Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, Jin Shi
2023 J jnl
Preference-wise Testing of Android Apps via Test Amplification.
ACM Trans. Softw. Eng. Methodol.
Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Xuandong Li
2023 — ed.
Proceedings of the 14th Asia-Pacific Symposium on Internetware, Internetware 2023, Hangzhou, China, August 4-6, 2023
Internetware
Hong Mei, Jian Lv, Zhi Jin, Xuandong Li, Xiaohu Yang, Xin Xia
2023 — conf
Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization.
ICSE Companion
Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li
2023 A conf
Security Checking of Trigger-Action-Programming Smart Home Integrations.
ISSTA
Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li
2022 J jnl
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software.
IEEE Trans. Software Eng.
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
2022 — conf
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution).
TACAS (2)
Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li
2022 — conf
DeepLabel: Automated Issue Classification for Issue Tracking Systems.
Internetware
Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li
2022 A conf
Detecting resource utilization bugs induced by variant lifecycles in Android.
ISSTA
Yifei Lu, Minxue Pan, Yu Pei, Xuandong Li
2022 A conf
Documentation-based functional constraint generation for library methods.
ICST
Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li
2022 — conf
Functional Scenario Classification for Android Applications using GNNs.
Internetware
Guiyin Li, Fengyi Zhu, Jun Pang, Tian Zhang, Minxue Pan, Xuandong Li
2022 J jnl
GUI-Guided Test Script Repair for Mobile Apps.
IEEE Trans. Software Eng.
Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li
2022 — conf
Graph Neural Network based Two-Phase Fault Localization Approach.
Internetware
Zhengmin Li, Enyi Tang, Xin Chen, Linzhang Wang, Xuandong Li
2022 J jnl
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques.
Softw. Syst. Model.
Longlong Lu, Minxue Pan, Tian Zhang, Xuandong Li
2022 B conf
Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata.
VMCAI
Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li
2022 J jnl
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li
2022 A* conf
Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets.
ASE
Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li
2022 J jnl
Safe reinforcement learning for dynamical systems using barrier certificates.
Connect. Sci.
Qingye Zhao, Yi Zhang, Xuandong Li
2022 — conf
Verifying Neural Network Controlled Systems Using Neural Networks.
HSCC
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li
2022 Misc conf
Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks.
ICASSP
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Enyi Tang, Xuandong Li
2021 A ed.
32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021
ISSRE
Zhi Jin, Xuandong Li, Jianwen Xiang, Leonardo Mariani, Ting Liu, Xiao Yu, Nahgmeh Ivaki
2021 — conf
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization.
HSCC
Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li
2021 A* conf
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code.
PLDI
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
2021 B conf
Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed.
FM
Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li
2021 J jnl
Documentation-based functional constraint generation for library methods.
Softw. Test. Verification Reliab.
Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li
2021 A conf
GUIDER: GUI structure and vision co-guided test script repair for Android apps.
ISSTA
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li
2021 A* conf
JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace.
PLDI
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
2021 J jnl
Machine learning steered symbolic execution framework for complex software code.
Formal Aspects Comput.
Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li
2021 J jnl
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis.
Int. J. Softw. Informatics
Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li
2021 A* conf
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.
DAC
Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
2021 — conf
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.
HSCC
Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
2021 A* conf
Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions.
ICML
Zhong Li, Minxue Pan, Tian Zhang, Xuandong Li
2021 J jnl
Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation.
IEEE Trans. Parallel Distributed Syst.
Rong Gu, Zhiqiang Zuo, Xi Jiang, Han Yin, Zhaokang Wang, Linzhang Wang, Xuandong Li, Yihua Huang
2021 J jnl
Vulnerable Region-Aware Greybox Fuzzing.
J. Comput. Sci. Technol.
Lingyun Situ, Zhiqiang Zuo, Le Guan, Linzhang Wang, Xuandong Li, Jin Shi, Peng Liu
2020 — conf
A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.
CAV (1)
Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li
2020 A conf
Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language.
DATE
Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li
2020 J jnl
Automatic Buffer Overflow Warning Validation.
J. Comput. Sci. Technol.
Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li
2020 A conf
Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping.
ICPC
Zejun Zhang, Minxue Pan, Tian Zhang, Xinyu Zhou, Xuandong Li
2020 J jnl
Effective testing of Android apps using extended IFML models.
J. Syst. Softw.
Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li
2020 J jnl
Enhancing example-based code search with functional semantics.
J. Syst. Softw.
Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li
2020 J jnl
Preface.
J. Comput. Sci. Technol.
Tao Xie, Zhi Jin, Xuandong Li, Gang Huang, Hausi A. Müller, Jun Pang, Lijun Zhang
2020 A conf
Reinforcement learning based curiosity-driven testing of Android applications.
ISSTA
Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, Xuandong Li
2020 J jnl
Scenario-Based Online Reachability Validation for CPS Fault Prediction.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Lei Bu, Qixin Wang, Xinyue Ren, Shaopeng Xing, Xuandong Li
2020 J jnl
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.
ACM Trans. Comput. Syst.
Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu
2019 J jnl
Automatic Detection and Repair Recommendation for Missing Checks.
J. Comput. Sci. Technol.
Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li
2019 A conf
BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud.
IPDPS
Zhiqiang Zuo, Rong Gu, Xi Jiang, Zhaokang Wang, Yihua Huang, Linzhang Wang, Xuandong Li
2019 A* conf
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.
ICSE
Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li
2019 — conf
Energy distribution matters in greybox fuzzing.
ICSE (Companion Volume)
Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu
2019 — conf
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT.
SETSS
Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li
2019 — conf
GUI-guided repair of mobile test scripts.
ICSE (Companion Volume)
Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li
2019 A* conf
Global optimization of numerical programs via prioritized stochastic algebraic transformations.
ICSE
Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li
2019 A conf
Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code.
EuroSys
Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li
2019 A conf
Incremental Online Verification of Dynamic Cyber-Physical Systems.
DATE
Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li
2019 — conf
Preference-wise testing for Android applications.
ESEC/SIGSOFT FSE
Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, Xuandong Li
2019 J jnl
基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow).
计算机科学
Zhengzhao Chen, Renhe Jiang, Minxue Pan, Tian Zhang, Xuandong Li
2018 J jnl
Automatic generation of predictive monitors from scenario-based specifications.
Inf. Softw. Technol.
Pengcheng Zhang, Patrizio Pelliccione, Hareton Leung, Xuandong Li
2018 C conf
Change-Based Test Script Maintenance for Android Apps.
QRS
Nana Chang, Linzhang Wang, Yu Pei, Subrota K. Mondal, Xuandong Li
2018 — conf
DangDone: Eliminating Dangling Pointers via Intermediate Pointers.
Internetware
Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li
2018 — conf
Detecting missing checks for identifying insufficient attack protections.
ICSE (Companion Volume)
Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li
2018 — ch.
HAT: Analyzing Linear Hybrid Automata as Labelled Transition System.
Symposium on Real-Time and Hybrid Systems
Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li
2018 J jnl
Model-based Construction and Verification of Cyber-Physical Systems.
ACM SIGSOFT Softw. Eng. Notes
Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li
2018 J jnl
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li
2018 — conf
Static extraction of IFML models for Android apps.
MoDELS (Companion)
An Huang, Minxue Pan, Tian Zhang, Xuandong Li
2018 J jnl
Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems.
ACM Trans. Cyber Phys. Syst.
Lei Bu, Wen Xiong, Chieh-Jan Mike Liang, Shi Han, Dongmei Zhang, Shan Lin, Xuandong Li
2018 A conf
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing.
ICST
Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li
2018 — conf
Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities.
Internetware
Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li
2017 A conf
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications.
ICST
Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang, Xuandong Li
2017 A conf
Automatic detection and validation of race conditions in interrupt-driven embedded software.
ISSTA
Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
2017 J jnl
Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure.
IEEE Trans. Computers
Dingbao Xie, Wen Xiong, Lei Bu, Xuandong Li
2017 J jnl
Editorial.
Formal Aspects Comput.
Xuandong Li, Zhiming Liu
2017 J jnl
Intelligent Development Environment and Software Knowledge Graph.
J. Comput. Sci. Technol.
Zeqi Lin, Bing Xie, Yanzhen Zou, Junfeng Zhao, Xuandong Li, Jun Wei, Hailong Sun, Gang Yin
2017 J jnl
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.
ACM Trans. Embed. Comput. Syst.
Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li
2017 A* conf
Sketch-guided GUI test generation for mobile applications.
ASE
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li
2017 J jnl
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing.
IEEE Trans. Software Eng.
Enyi Tang, Xiangyu Zhang, Norbert Th. Müller, Zhenyu Chen, Xuandong Li
2017 A* conf
Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control.
IJCAI
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
2016 J jnl
A Game-Based Approach for PCTL* Stochastic Model Checking with Evidence.
J. Comput. Sci. Technol.
Yang Liu, Xuandong Li, Yan Ma
2016 — conf
ACSPChecker: an ASP based CSP model checking tool.
Internetware
Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li
2016 A conf
An Empirical Study on Detecting and Fixing Buffer Overflow Bugs.
ICST
Tao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li
2016 A* conf
BovInspector: automatic inspection and repair of buffer overflow vulnerabilities.
ASE
Fengjuan Gao, Linzhang Wang, Xuandong Li
2016 — conf
Carraybound: static array bounds checking in C programs based on taint analysis.
Internetware
Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ, Linzhang Wang, Xuandong Li
2016 J jnl
Formal Verification of 'Programming to Interfaces' Programs.
Int. J. Softw. Informatics
Jianhua Zhao, Xuandong Li
2016 A* conf
Hierarchical Model Predictive Control for Multi-Robot Navigation.
IJCAI
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
2016 C conf
Precondition Calculation for Loops Iterating over Data Structures.
QRS
Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li
2016 — ed.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, Internetware 2016, Beijing, China, September 18, 2016
Internetware
Hong Mei, Jian Lv, Zhi Jin, Xuandong Li
2016 A* conf
Symbolic execution of complex program driven by machine learning based constraint solving.
ASE
Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li
2015 J jnl
A declarative approach for Java code instrumentation.
Softw. Qual. J.
Tian Zhang, Xiaomei Zheng, Yan Zhang, Jianhua Zhao, Xuandong Li
2015 Misc conf
An Open Framework for Semantic Code Queries on Heterogeneous Repositories.
TASE
Tian Zhang, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li
2015 — conf
Analyzing Inductively Defined Properties for Recursive Data Structures.
Internetware
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
2015 — conf
Controlling Smart TVs Using Touch Gestures on Mobile Devices.
UIC/ATC/ScalCom
Jiaxu Sun, Yongchao Li, Linzhang Wang, Xuandong Li, Xiaoxiao Ma, Jing Xu, Guanling Chen
2015 Misc ed.
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
SETTA
Xuandong Li, Zhiming Liu, Wang Yi
2015 — conf
Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation.
Internetware
Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li
2015 J jnl
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.
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao
2015 C conf
Node-Set Analysis for Linked Recursive Data Structures.
QRS
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
2015 A conf
Optimizing deterministic garbage collection in NAND flash storage systems.
RTAS
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao
2015 — conf
nCov: A Tool for Measuring Length-n Subpath Coverage.
Internetware
Yan Zhou, You Li, Linzhang Wang, Xuandong Li
2014 C conf
An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability.
SEKE
Xiaoli Zhou, Linzhang Wang, Xuandong Li, Jianhua Zhao
2014 A conf
Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification.
RTSS
Dingbao Xie, Lei Bu, Xuandong Li
2014 J jnl
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata.
Formal Methods Syst. Des.
Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li
2013 C conf
A New Method for Automated GUI Modeling of Mobile Applications.
MobiQuitous
Jing Xu, Xiang Ding, Guanling Chen, Jill L. Drury, Linzhang Wang, Xuandong Li
2013 J jnl
Data-assemblage: a translation-page-aware data block allocation strategy for flash-based solid state drives.
Des. Autom. Embed. Syst.
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao
2013 J jnl
Formal Verification of 'Programming to Interfaces' Programs.
CoRR
Jianhua Zhao, Xuandong Li
2013 — conf
Optimizing translation information management in NAND flash memory storage systems.
ASP-DAC
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao
2013 C conf
Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures.
ICTAC
Jianhua Zhao, Xuandong Li
2013 — conf
Simulating software behavior based on UML activity diagram.
Internetware
Lei Yu, Xiucun Tang, Linzhang Wang, Xuandong Li
2013 A conf
Steering symbolic execution to less traveled paths.
OOPSLA
You Li, Zhendong Su, Linzhang Wang, Xuandong Li
2013 J jnl
Verifying Aspect-Oriented Models against Crosscutting Properties.
Int. J. Softw. Eng. Knowl. Eng.
Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li
2013 J jnl
Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications.
IET Softw.
Pengcheng Zhang, Hareton Leung, Wenrui Li, Xuandong Li
2012 — conf
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online.
ICCPS
Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li
2012 — conf
Detecting source code changes to maintain the consistence of behavioral model.
Internetware
Yuankui Li, Linzhang Wang, Xuandong Li, Yuanfang Cai
2012 B conf
Forward and backward: Bounded model checking of linear hybrid automata from two directions.
FMCAD
Yang Yang, Lei Bu, Xuandong Li
2012 J jnl
Loop reduction techniques for reachability analysis of linear hybrid automata.
Sci. China Inf. Sci.
Minxue Pan, You Li, Lei Bu, Xuandong Li
2012 — conf
Path-oriented Test Data Generation Driven by Component Linear Fitting Functions.
SERE (Companion)
Wenxu Ding, Xin Chen, Peng Jiang, Nan Ye, Lei Bu, Xuandong Li
2012 — conf
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata.
ICCPS
Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li
2012 C conf
Proactive Enforcement of Data Consistency by Business Processes.
APSEC
Xi Liu, Jianwen Su, Xuandong Li
2012 — conf
Query by Drawing Examples of UML Model.
APSEC Workshops
Xuelin Zhang, Tian Zhang, Xuandong Li
2012 Misc conf
Regression Test Cases Generation Based on Automatic Model Revision.
TASE
Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li
2012 — conf
Time-leverage point detection for time sensitive software maintenance.
ICSM
Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
2012 J jnl
Timing analysis of MSC specifications with asynchronous concatenation.
Int. J. Softw. Tools Technol. Transf.
Minxue Pan, Xuandong Li
2012 J jnl
Timing analysis of scenario-based specifications using linear programming.
Softw. Test. Verification Reliab.
Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao
2012 C conf
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer.
SEKE
Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li
2011 — conf
An Instrumentation Tool for Program Dynamic Analysis in Java.
SSIRI (Companion)
Huajie Chen, Tian Zhang, Lei Bu, Xuandong Li
2011 — conf
Automatic Regression Test Selection Based on Activity Diagrams.
SSIRI (Companion)
Nan Ye, Xin Chen, Peng Jiang, Wenxu Ding, Xuandong Li
2011 — conf
Feedback-Directed Test Case Generation Based on UML Activity Diagrams.
SSIRI (Companion)
Xin Chen, Nan Ye, Peng Jiang, Lei Bu, Xuandong Li
2011 — conf
IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata.
Haifa Verification Conference
Lei Bu, Yang Yang, Xuandong Li
2011 J jnl
Online Verification of Control Parameter Calculations in Communication Based Train Control System
CoRR
Lei Bu, Xin Chen, Linzhang Wang, Xuandong Li
2011 J jnl
Path-oriented bounded reachability analysis of composed linear hybrid systems.
Int. J. Softw. Tools Technol. Transf.
Lei Bu, Xuandong Li
2011 A* conf
Run-time systems failure prediction via proactive monitoring.
ASE
Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li
2011 J jnl
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.
SIGBED Rev.
Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li
2011 J jnl
UML interaction model-driven runtime verification of Java programs.
IET Softw.
Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao
2010 A conf
BACH 2 : Bounded reachability checker for compositional linear hybrid systems.
DATE
Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li
2010 — conf
Enabling multi-core based monitoring and fault tolerance in C++/Java.
IWMSE@ICSE
Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
2010 — conf
Extending Ada to support multi-core based monitoring and fault tolerance.
SIGAda
You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li
2010 B conf
McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java.
ICECCS
Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
2010 — conf
Model Checking of Hybrid Systems Using Shallow Synchronization.
FMOODS/FORTE
Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta
2010 — conf
Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination.
ISoLA (1)
Qian Li, Jianhua Zhao, Xuandong Li
2010 B conf
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.
VMCAI
Lei Bu, Jianhua Zhao, Xuandong Li
2010 A conf
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability.
ISSTA
Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su
2010 J jnl
Preface.
Int. J. Softw. Informatics
Zhi Jin, Xuandong Li
2010 — ed.
Proceedings of the Second Asia-Pacific Symposium on Internetware, Internetware 2010, Suzhou, China, November 3-4, 2010
Internetware
Hong Mei, Jian Lv, Xuandong Li, Zhi Jin
2010 J jnl
Robustness testing for software components.
Sci. Comput. Program.
Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz
2010 J jnl
Scope Logic with Local Reasoning and Pre/Post-State Properties
CoRR
Jianhua Zhao, Xuandong Li
2010 — conf
Test adequacy criterion based on coincidental correctness probability.
Internetware
Jie Chen, Qian Li, Jianhua Zhao, Xuandong Li
2009 C conf
A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture.
HPCC
Lu Yang, Zhanqi Cui, Xuandong Li
2009 — conf
Computational error handling as aspects: a case study.
PLATE@AOSD
Zhanqi Cui, Linzhang Wang, Huigen Liu, Xuandong Li
2009 A conf
Design pattern directed clustering for understanding open source code.
ICPC
Zhixiong Han, Linzhang Wang, Liqian Yu, Xin Chen, Jianhua Zhao, Xuandong Li
2009 Misc conf
Modeling and integrating aspects with UML activity diagrams.
SAC
Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu
2009 J jnl
Scope Logic: Extending Hoare Logic for Pointer Program Verification
CoRR
Jianhua Zhao, Xuandong Li
2009 A* conf
TASS: Timing Analyzer of Scenario-Based Specifications.
CAV
Minxue Pan, Lei Bu, Xuandong Li
2009 J jnl
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs.
Comput. J.
Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li
2008 C conf
A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking.
ISoLA
Jianhua Zhao, Linzhang Wang, Xuandong Li
2008 — conf
A case study for monitoring-oriented programming in multi-core architecture.
IWMSE@ICSE
Lu Yang, Jianwen Tang, Jianhua Zhao, Xuandong Li
2008 J jnl
An MDE-based method for bridging different design notations.
Innov. Syst. Softw. Eng.
Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li
2008 B conf
BACH : Bounded ReAchability CHecker for Linear Hybrid Automata.
FMCAD
Lei Bu, You Li, Linzhang Wang, Xuandong Li
2008 — conf
State Based Robustness Testing for Components.
FACS
Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li
2008 A conf
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.
ICST
Bin Lei, Linzhang Wang, Xuandong Li
2008 Misc conf
UML state machine diagram driven runtime verification of Java programs for message interaction consistency.
SAC
Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong
2007 J jnl
A model-driven development framework for enterprise Web services.
Inf. Syst. Frontiers
Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li
2007 — conf
Towards a Model Driven Approach to Automatic BPEL Generation.
ECMDA-FA
Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li
2006 B conf
A Model Driven Development Framework for Enterprise Web Services.
EDOC
Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li
2006 — conf
Automatic Test Case Generation for UML Activity Diagrams.
AST@ICSE
Mingsong Chen, Xiaokang Qiu, Xuandong Li
2006 C conf
Improve Model Checking Efficiency Using Specific Knowledge about the System.
ISoLA
Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng
2006 — conf
Modelling and Analysis of Power Consumption for Component-Based Embedded Software.
EUC Workshops
Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang
2006 J jnl
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.
J. Comput. Sci. Technol.
Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
2006 Misc conf
Runtime Verification of Java Programs for Scenario-Based Specifications.
Ada-Europe
Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng
2006 C conf
Scenario-Based Component Behavior Derivation.
ICFEM
Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
2006 C conf
Scenario-Based Timing Consistency Checking for Time Petri Nets.
FORTE
Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng
2006 — conf
Scenario-based Component Behavior Filtration.
SET
Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
2006 — conf
Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming.
BMC@FLoC
Xuandong Li, Sumit Jha Aanand, Lei Bu
2005 J jnl
A quadratic-time DBM-based successor algorithm for checking timed automata.
Inf. Process. Lett.
Jianhua Zhao, Xuandong Li, Guoliang Zheng
2005 C conf
Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.
EUC
Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng
2005 A conf
Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking.
IPDPS
Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng
2005 — conf
Consistency Checking of Concurrent Models for Scenario-Based Specifications.
SDL Forum
Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng
2005 — conf
Deriving Available Behavior All Out from Incompatible Component Compositions.
FACS
Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
2005 — conf
Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.
ICPP Workshops
Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Xuandong Li, Guoliang Zheng
2004 J jnl
Duration-constrained regular expressions.
Formal Aspects Comput.
Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng
2004 C conf
Generating Test Cases from UML Activity Diagram based on Gray-Box Method.
APSEC
Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng
2004 C conf
Verifying Compositional Designs for Scenario-Based Timing Specifications.
ISORC
Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng
2003 — conf
Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently.
FORMATS
Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
2002 J jnl
Checking MSC Specifications for Timing Inconsistency.
J. Comput. Sci. Technol.
Xuandong Li, Wenkai Tan, Guoliang Zheng
2002 — conf
Partial Order Path Technique for Checking Parallel Timed Automata.
FTRTFT
Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng
2002 J jnl
Positive loop-closed automata: a decidable class of hybrid systems.
J. Log. Algebraic Methods Program.
Xuandong Li, Jianhua Zhao, Yu Pei, Yong Li, Tao Zheng, Guoliang Zheng
2001 — conf
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.
CHARME
Xuandong Li, Yu Pei, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng
2001 J jnl
Efficient verification of a class of time Petri nets using linear programming.
Inf. Process. Lett.
Xuandong Li, Johan Lilius
2001 J jnl
Linear Hybrid Action Systems.
Nord. J. Comput.
Mauno Rönkkö, Xuandong Li
2001 — conf
Timing Analysis of UML Activity Diagrams.
UML
Xuandong Li, Cui Meng, Yu Pei, Jianhua Zhao, Guoliang Zheng
2001 J jnl
Verifying Time Petri Nets by Linear Programming.
J. Comput. Sci. Technol.
Xuandong Li
2000 C conf
Checking compositions of UML sequence diagrams for timing inconsistency.
APSEC
Xuandong Li, Johan Lilius
1999 — conf
Checking time Petri nets for linear duration properties.
PNPM
Xuandong Li, Johan Lilius
1999 — conf
Timing Analysis of UML Sequence Diagrams.
UML
Xuandong Li, Johan Lilius
1998 J jnl
Compositional model-checking for real-time systems.
ACM SIGSOFT Softw. Eng. Notes
Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng
1998 — conf
Hybrid Regular Expressions.
HSCC
Xuandong Li, Tao Zheng, Jianmin Hou, Jianhua Zhao, Guoliang Zheng
1997 J jnl
A Message-based Real-Time Model by Object-Oriented Technique.
ACM SIGOPS Oper. Syst. Rev.
Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng
1997 — conf
Checking Hybrid Automata for Linear Duration Invariants.
ASIAN
Xuandong Li, Dang Van Hung, Tao Zheng
1997 — conf
Enhancing Reusability and Maintainability in NDOOM.
OOIS
Xuandong Li, Guoliang Zheng
1996 C conf
A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages.
APSEC
Xuandong Li, Guoliang Zheng
1996 — conf
Checking Linear Duration Invariants by Linear Programming.
ASIAN
Xuandong Li, Dang Van Hung