Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li. Path-Oriented Derivative-Free Approach for Safety falsification of Nonlinear and Nondeterministic CPS.
In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
download
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.
In Formal Aspects of Computing,
download
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.
In TOCS,
download
Chinese Journal
N/A
International Conference & Workshop
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Linzhang Wang, Xuandong Li, Guoqing Harry Xu. Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code.
In PLDI2021,
download
Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Enyi Tang, Xuandong Li. Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via approximations.
In DAC,
download
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Yuetang Deng, Xuandong Li. Guider: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps.
In ISSTA,
download
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.
In HSCC,
download
Zhong Li, Minxue Pan, Tian Zhang, Xuandong Li. Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions.
In ICML2021,
download
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu. JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace.
In PLDI,
download
