Ji Wang

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 62

Top Venues

CoRR

Sci. Comput. Program.

ISSTA

ASE

Publications

Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
Verifying safety of neural networks from topological perspectives. Sci. Comput. Program. 236 (2024)
Xinglin Chen, Yishuai Cai, Yunxin Mao, Minglong Li, Zhou Yang, Shanghua Wen, Wenjing Yang, Weixia Xu, Ji Wang
Efficient Behavior Tree Planning with Commonsense Pruning and Heuristic. CoRR (2024)
Xingpeng Liu, Hengzhu Liu, Xiaodong Yi, Ji Wang
LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair✱. Internetware (2024)
Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
Reach-Avoid Verification Based on Convex Optimization. IEEE Trans. Autom. Control. 69 (1) (2024)
Xinglin Chen, Yishuai Cai, Yunxin Mao, Minglong Li, Wenjing Yang, Weixia Xu, Ji Wang
Integrating Intent Understanding and Optimal Behavior Planning for Behavior Tree Generation from Human Instructions. CoRR (2024)
Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang
Verification of message-passing uninterpreted programs. Sci. Comput. Program. 234 (2024)
Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang, Zhiming Liu, Hongmei Wei
Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models. IEEE Trans. Knowl. Data Eng. 36 (4) (2024)
Zhenbang Chen, Guofeng Zhang, Zehua Chen, Ziqi Shuai, Weiyu Pan, Yufeng Zhang, Ji Wang
Adaptive solving strategy synthesis for symbolic execution. J. Softw. Evol. Process. 36 (4) (2024)
Ziqi Shuai, Zhenbang Chen, Kelin Ma, Kunlin Liu, Yufeng Zhang, Jun Sun, Ji Wang
Partial Solution Based Constraint Solving Cache in Symbolic Execution. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Zhipeng Lin, Wenjing Yang, Haotian Wang, Haoang Chi, Long Lan, Ji Wang
Scaling Few-Shot Learning for the Open World. AAAI (2024)
Luyao Liu, Guofeng Zhang, Zhenbang Chen, Ji Wang
Hybrid Regression Test Selection by Synergizing File and Method Call Dependences. SIGSOFT FSE Companion (2024)
Zhipeng Lin, Wenjing Yang, Long Lan, Mingyang Geng, Haotian Wang, Haoang Chi, Xueqiong Li, Ji Wang
Diversifying Cross-Domain Few-Shot Learning via Multimodal Image Editing. ICASSP (2024)
Taoran Wu, Yiqing Yu, Bican Xia, Ji Wang, Bai Xue
A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems. CoRR (2024)
Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). FASE (2024)
Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. SETTA (2023)
Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang
CSP based Formal Modeling and Verification of Behavior Trees. QRS Companion (2023)
Yiqing Yu, Taoran Wu, Bican Xia, Ji Wang, Bai Xue
Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems. CDC (2023)
Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang
Static analysis of linear absolute value equalities among variables of a program. Sci. Comput. Program. 225 (2023)
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. APSEC (2023)
Zhen Liang, Taoran Wu, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang
Towards robust neural networks via a global and monotonically decreasing robustness training strategy. Frontiers Inf. Technol. Electron. Eng. 24 (10) (2023)
Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. ATVA (1) (2023)
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
Safety Verification for Neural Networks Based on Set-Boundary Analysis. TASE (2023)
Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang
Formal Verification Based Synthesis for Behavior Trees. SETTA (2023)
Shiwen Yu, Ting Wang, Ji Wang
Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. ISSTA (2023)
Shiwen Yu, Ting Wang, Ji Wang
Data Augmentation by Program Transformation. J. Syst. Softw. 190 (2022)
Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. APSEC (2022)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang
An Abstract Domain to Infer Linear Absolute Value Equalities. TASE (2021)
Kim G. Larsen, Oleg Sokolsky, Ji Wang
Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). Sci. Comput. Program. 206 (2021)
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang
Type and interval aware array constraint solving for symbolic execution. ISSTA (2021)
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang
Grammar-agnostic symbolic execution by token symbolization. ISSTA (2021)
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang
Synthesize solving strategy for symbolic execution. ISSTA (2021)
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang
On the Properties of Kullback-Leibler Divergence Between Gaussians. CoRR (2021)
Deze Wang, Yue Yu, Shanshan Li, Wei Dong, Ji Wang, Qing Liao
MulCode: A Multi-task Learning Approach for Source Code Understanding. SANER (2021)
Weijiang Hong, Yijun Liu, Zhenbang Chen, Wei Dong, Ji Wang
Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution. Frontiers Inf. Technol. Electron. Eng. 21 (9) (2020)
Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng, Zhenbang Chen, Ji Wang
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN. ASE (2020)
Yunrui Guo, Zongxu Pan, Meiming Wang, Ji Wang, Wenjing Yang
Learning Capsules for SAR Target Recognition. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 13 (2020)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
Hierarchical Analysis of Loops With Relaxed Abstract Transformers. IEEE Trans. Reliab. 69 (1) (2020)
Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. ASE (2020)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. IEEE Trans. Software Eng. 46 (5) (2020)
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong
Symbolic verification of message passing interface programs. ICSE (2020)
Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. ASE (2020)
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen
Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models. CoRR (2020)
Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang
MPI-SV: a symbolic verifier for MPI programs. ICSE (Companion Volume) (2020)
Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang
Input Validation for Neural Networks via Runtime Local Robustness Verification. CoRR (2020)
Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. SETTA (2020)
Zhenbang Chen, Hengbiao Yu, Ji Wang, Wei Dong
Symbolic Verification of Regular Properties for Java Programs. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot
Verifying Numerical Programs via Iterative Abstract Testing. SAS (2019)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
Parallel refinement for multi-threaded program verification. ICSE (2019)
Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang
Evaluation of model checkers by verifying message passing programs. Sci. China Inf. Sci. 62 (10) (2019)
Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong
Symbolic verification of regular properties. ICSE (2018)
Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang
YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). TACAS (2) (2018)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
Scheduling constraint based abstraction refinement for weak memory models. ASE (2018)
Liangze Yin, Wei Dong, Fei He, Ji Wang
A True-Concurrency Encoding for BMC of Compositional Systems. Comput. J. 61 (5) (2018)
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang
Combining Symbolic Execution and Model Checking to Verify MPI Programs. CoRR (2018)
Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel. CoRR (2018)
Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
A Data Set for User Request Trace-Oriented Monitoring and its Applications. IEEE Trans. Serv. Comput. 11 (4) (2018)
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong
RGSE: a regular property guided symbolic executor for Java. ESEC/SIGSOFT FSE (2017)
Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. VMCAI (2017)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. CoRR (2017)
Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ACM Trans. Embed. Comput. Syst. 15 (4) (2016)
Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu
Regular Property Guided Dynamic Symbolic Execution. ICSE (1) (2015)
Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang
Poster: Symbolic Execution of MPI Programs. ICSE (2) (2015)
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
A Simple Probabilistic Extension of Modal Mu-calculus. IJCAI (2015)
Banghu Yin, Liqian Chen, Ji Wang
基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions). 计算机科学 42 (7) (2015)
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
A Simple Probabilistic Extension of Modal Mu-calculus. CoRR (2015)
Jingwen Zhou, Zhenbang Chen, Ji Wang
Poster: Segmentation Based Online Performance Problem Diagnosis. ICSE (2) (2015)
Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang
MPISE: Symbolic Execution of MPI Programs. HASE (2015)
Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang
Static analysis of lists by combining shape and numerical abstractions. Sci. Comput. Program. 95 (2014)
Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
Towards an Open Data Set for Trace-Oriented Monitoring. IEEE CLOUD (2014)
Xueguang Wu, Liqian Chen, Ji Wang
An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters. Electron. Notes Theor. Comput. Sci. 307 (2014)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking. J. Appl. Math. 2014 (2014)
Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Wei Dong
A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. ISSRE Workshops (2014)
Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang
Robustness Analysis of Floating-Point Programs by Self-Composition. J. Appl. Math. 2014 (2014)
Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
Trace Bench: An Open Data Set for Trace-Oriented Monitoring. CloudCom (2014)
Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang
Synchronization Error Detection of MPI Programs by Symbolic Execution. APSEC (1) (2014)
Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang
An Abstract Domain to Infer Octagonal Constraints with Absolute Value. SAS (2014)
Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
A topology-aware method for scientific application deployment on cloud. Int. J. Web Grid Serv. 10 (4) (2014)
Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Ji Wang
MPISE: Symbolic Execution of MPI Programs. CoRR (2014)
Jingwen Zhou, Zhenbang Chen, Haibo Mi, Ji Wang
MTracer: A Trace-Oriented Monitoring Framework for Medium-Scale Distributed Systems. SOSE (2014)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking CoRR (2013)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking. ICTAC (2013)
Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. J. Appl. Math. 2013 (2013)
Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang
Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. SAC (2013)
Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. SERE (Companion) (2013)
Hengbiao Yu, Zhenbang Chen, Ji Wang
An Operational Semantics for Model Checking Long Running Transactions. WS-FM (2013)
Zhenbang Chen, Zhiming Liu, Ji Wang
Failure-divergence semantics and refinement of long running transactions. Theor. Comput. Sci. 455 (2012)
Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng
Online Optimization of VM Deployment in IaaS Cloud. ICPADS (2012)
Yufeng Zhang, Zhenbang Chen, Ji Wang
Speculative Symbolic Execution. ISSRE (2012)
Yufeng Zhang, Zhenbang Chen, Ji Wang
S2PF: speculative symbolic PathFinder. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Pei Fan, Ji Wang, Zhenbang Chen, Zibin Zheng, Michael R. Lyu
A spectral clustering-based optimal deployment method for scientific application in cloud computing. Int. J. Web Grid Serv. 8 (1) (2012)
Longming Dong, Ji Wang, Liqian Chen
Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. APSEC (2012)
Yufeng Zhang, Zhenbang Chen, Ji Wang
Speculative Symbolic Execution CoRR (2012)
Longming Dong, Ji Wang, Liqian Chen
Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. QSIC (2012)
Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
Topology-Aware Deployment of Scientific Applications in Cloud Computing. IEEE CLOUD (2012)
Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei
Quantitative analysis for symbolic heap bounds of CPS software. Comput. Sci. Inf. Syst. 8 (4) (2011)
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
Linear Absolute Value Relation Analysis. ESOP (2011)
Zhenbang Chen, Zhiming Liu, Ji Wang
Failure-Divergence Refinement of Compensating Communicating Processes. FM (2011)
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
An Abstract Domain to Discover Interval Linear Equalities. VMCAI (2010)

Ji Wang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ji Wang