Liqian Chen
National University of Defense Technology
H-index: 14
Asia-China
Top articles of Liqian Chen
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals
2023/11/27
Input Validation for Neural Networks via Local Robustness Verification
2023/10/22
Potential Solutions to Challenges in C Program Repair: A Practical Perspective
2023/9/11
Affine Disjunctive Invariant Generation with Farkas' Lemma
arXiv preprint arXiv:2307.13318
2023/7/25
Linear Disjunctive Invariant Generation with Farkas' Lemma
2023/2/25
Hongfei Fu
H-Index: 14
Liqian Chen
H-Index: 8
Static analysis of linear absolute value equalities among variables of a program
Science of Computer Programming
2023/1/1
Liqian Chen
H-Index: 8
Ji Wang
H-Index: 7
NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs
2022/12/6
Using Fuzzing to Help Abstract Interpretation Based Program Verification
2022/12/5
Renjie Huang
H-Index: 9
Liqian Chen
H-Index: 8
Transplantfix: Graph differencing-based code transplantation for automated program repair
2022/10/10
Grammar-based fuzz testing for microprocessor RTL design
Integration
2022/9/1
Automated regression unit test generation for program merges
Science China Information Sciences
2022/9
Liqian Chen
H-Index: 8
Xin Yi
H-Index: 17
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2022/8/9
Estimating worst-case resource usage by resource-usage-aware fuzzing
2022/3/29
Making Rigorous Linear Programming Practical for Program Analysis
2021
Liqian Chen
H-Index: 8
Ji Wang
H-Index: 7
Static Analysis of Resource Usage Bounds for Imperative Programs
2021/12/6
Liqian Chen
H-Index: 8
Static bound analysis of dynamically allocated resources for c programs
2021/10/25
Liqian Chen
H-Index: 8
Ji Wang
H-Index: 7
On enhancing application-ability training in discrete mathematics
2021/10/13
Tun Li
H-Index: 5
Liqian Chen
H-Index: 8
An abstract domain to infer linear absolute value equalities
2021/8/25
Liqian Chen
H-Index: 8
Ji Wang
H-Index: 7
Enhancing robustness verification for deep neural networks via symbolic propagation
Formal Aspects of Computing
2021/6
Towards Rebuilding the Design Model of Programs by Static Analysis and Abstraction
Journal of Physics: Conference Series
2021/2/1
Liqian Chen
H-Index: 8
Ji Wang
H-Index: 7