Xin Chen

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 19

Top Topics

Symbolic Execution

Top Venues

Publications

Zhengmin Li, Enyi Tang, Xin Chen, Linzhang Wang, Xuandong Li
Graph Neural Network based Two-Phase Fault Localization Approach. Internetware (2022)
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Enyi Tang, Xuandong Li
Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks. ICASSP (2022)
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li
Verifying Neural Network Controlled Systems Using Neural Networks. HSCC (2022)
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)
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)
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)
Anxiang Xiao, Enyi Tang, Xin Chen, Linzhang Wang
Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning. Internetware (2020)
Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. ICRA (2020)
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)
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)
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)
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li
Sketch-guided GUI test generation for mobile applications. ASE (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)
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)
Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. FM (2016)
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)
Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. EMSOFT (2016)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen
Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. 50 (2013)
Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. ICCPS (2012)
Wenxu Ding, Xin Chen, Peng Jiang, Nan Ye, Lei Bu, Xuandong Li
Path-oriented Test Data Generation Driven by Component Linear Fitting Functions. SERE (Companion) (2012)
Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li
Regression Test Cases Generation Based on Automatic Model Revision. TASE (2012)
Nan Ye, Xin Chen, Peng Jiang, Wenxu Ding, Xuandong Li
Automatic Regression Test Selection Based on Activity Diagrams. SSIRI (Companion) (2011)
Lei Bu, Xin Chen, Linzhang Wang, Xuandong Li
Online Verification of Control Parameter Calculations in Communication Based Train Control System CoRR (2011)
Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao
UML interaction model-driven runtime verification of Java programs. IET Softw. 5 (2) (2011)
Xin Chen, Nan Ye, Peng Jiang, Lei Bu, Xuandong Li
Feedback-Directed Test Case Generation Based on UML Activity Diagrams. SSIRI (Companion) (2011)
Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. SIGBED Rev. 8 (2) (2011)
Xin Chen, Nan Ye, Wenxu Ding
A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs. UTP (2010)
Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li
BACH 2 : Bounded reachability checker for compositional linear hybrid systems. DATE (2010)
Zhixiong Han, Linzhang Wang, Liqian Yu, Xin Chen, Jianhua Zhao, Xuandong Li
Design pattern directed clustering for understanding open source code. ICPC (2009)
Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. HASE (2008)
Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
A Model of Component-Based Programming. FSEN (2007)
Xin Chen, Zhiming Liu, Vladimir Mencl
Separation of Concerns and Consistent Integration in Requirements Modelling. SOFSEM (1) (2007)