Ling-Yun Situ, Lin-Zhang Wang, Yang Liu, Bing Mao, Xuan-Dong Li. Automatic Detection and Repair Recommendation for Missing Checks.
In Journal of Computer Science and Technology (JCST),
download
Lei Bu, Qixin Wang, Xinyue Ren, Shaopeng Xing, Xuandong Li. Scenario-based Online Reachability Validation For CPS Fault Prediction.
In IEEE Transactions on Computer-Aided Design of Integrated Circuits and System (TCAD),
download
Yuchao Duan, Zhe Zhao, Lei Bu, Fu Song. Taking Care of The Discretization Problem: A Black-Box Adversarial Image Attack in Discrete Integer Domain.
In ,
download
Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng. Cross-Domain Noise Impact Evaluation for Black Box 1 Two-Level Control CPS.
In ACM Transactions on Cyber-Physical Systems,
download
Yufei Yang, Wenbo Luo, Yu Pei, Minxue Pan, Tian Zhang. Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading.
In Annual Computer Software and Applications Conference (COMPSAC),
download
Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li. Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-driven Systems.
In International Conference on Software Engineering (ICSE),
download
Ruihua Ji, Junyu Pei, Wenhua Yang, Juan Zhai, Minxue Pan, Tian Zhang. Extracting Mapping Relations for Mobile User Interface Transformation.
In Internetware,
download
Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, and Xuandong Li. GUI-Guided Repair of Mobile Test Scripts.
In International Conference on Software Engineering: Companion (ICSE Companion),
download
Tongtong Xu. Improving Automated Program Repair with Retrospective Fault Localization.
In International Conference on Software Engineering: Companion (ICSE Companion),
download
Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li. Incremental Online Verification of Dynamic Cyber-Physical Systems.
In Design, Automation & Test in Europe (DATE),
download
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.
In European Conference on Computer Systems (EuroSys),
download
Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, Xuandong Li. Preference-wise testing for Android applications.
In ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
download
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.
In International Conference on Software Engineering,
download
Xiaofei Ge. Android GUI Search Using Hand-drawn Sketches.
In International Conference on Software Engineering: Companion (ICSE Companion),
download
Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu. Energy Distribution Matters in Greybox Fuzzing.
In International Conference on Software Engineering: Companion (ICSE Companion),
download