default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJi Wang 0001
Person information
- affiliation: National University of Defense Technology, State Key Laboratory of High Performance Computing, Changsha, China
- affiliation: National University of Defense Technology, School of Computer, National Laboratory for Parallel and Distributed Processing, Changsha, China
- not to be confused with: Ji Wang 0002
Other persons with the same name
- Ji Wang — disambiguation page
- Ji Wang 0002
![[0000-0002-4199-2793]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-4199-2793")
— National University of Defense Technology, College of Information Systems and Management, Changsha, China - Ji Wang 0003 — Virginia Polytechnic Institute, Department of Computer Science, Blacksburg, VA, USA
- Ji Wang 0004 — Central China Normal University, College of Physical Science and Technology, Department of Electronics and Information Engineering, China (and 1 more)
- Ji Wang 0005 — Xiamen University, Department of Automation, Xiamen, China (and 2 more)
- Ji Wang 0006 — National University of Singapore, Department of Computer Science, Singapore
- Ji Wang 0007 — University of Alberta, Department of Chemical and Materials Engineering, Edmonton, Canada (and 1 more)
- Ji Wang 0008 — Chang'an University, College of Geological Engineering and Geomatics, Big Data Center for Geosciences and Satellites (BDCGS), Xi'an, China
- Ji Wang 0009 — Zhejiang Sci-Tech University, School of Information Science and Technology, Hangzhou, China
- Ji Wang 0010 — Dalian University of Technology, School of Naval Architecture and Ocean Engineering, State Key Laboratory of Structural Analysis for Industrial Equipment, Dalian, China
- Ji Wang 0011 — Shanghai University of Engineering Science, School of Urban Railway Transportation, Shanghai, China
- Ji Wang 0012 — Guangdong Ocean University, College of Electrical and Information Engineering, Zhanjiang, China
- Ji Wang 0013 — Beijing Jiaotong University, School of Civil Engineering, Beijing Key Laboratory of Track Engineering, Beijing Engineering Research Centre of Rail Traffic Line Safety and Disaster, Beijing, China
- Ji Wang 0014 — China University of Petroleum, College of Mechanical and Transportation Engineering, Beijing, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j58]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): 2493-2514 (2024)- [j57]Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang:
Verification of message-passing uninterpreted programs. Sci. Comput. Program. 234: 103075 (2024) - [j56]Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu:
Verifying safety of neural networks from topological perspectives. Sci. Comput. Program. 236: 103121 (2024) - [j55]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) - [j54]Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu:
Reach-Avoid Verification Based on Convex Optimization. IEEE Trans. Autom. Control. 69(1): 598-605 (2024) - [j53]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): 1683-1697 (2024) - [c143]Zhipeng Lin, Wenjing Yang, Haotian Wang, Haoang Chi, Long Lan, Ji Wang:
Scaling Few-Shot Learning for the Open World. AAAI 2024: 13846-13854 - [c142]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: 304-308 - [c141]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: 7375-7379 - [c140]Xingpeng Liu, Hengzhu Liu, Xiaodong Yi, Ji Wang:
LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair✱. Internetware 2024 - [c139]Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang:
Synthesizing Boxes Preconditions for Deep Neural Networks. ISSTA 2024: 1708-1719 - [c138]Luyao Liu, Guofeng Zhang, Zhenbang Chen, Ji Wang:
Hybrid Regression Test Selection by Synergizing File and Method Call Dependences. SIGSOFT FSE Companion 2024: 669-670 - [i22]Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu:
UR4NNV: Neural Network Verification, Under-approximation Reachability Works! CoRR abs/2401.12550 (2024) - [i21]Taoran Wu, Yiqing Yu, Bican Xia, Ji Wang, Bai Xue:
A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems. CoRR abs/2404.09007 (2024) - [i20]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 abs/2405.07474 (2024) - [i19]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 abs/2406.00965 (2024) - 2023
- [j52]Shaowei Cai, Zhenbang Chen, Ji Wang, Bohua Zhan, Yongwang Zhao:
Preface to the Special Issue on Constraint Solving and Theorem Proving. Int. J. Softw. Informatics 13(3): 243-245 (2023) - [j51]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): 1375-1389 (2023) - [j50]Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang:
Static analysis of linear absolute value equalities among variables of a program. Sci. Comput. Program. 225: 102906 (2023) - [c137]Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang:
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. APSEC 2023: 661-662 - [c136]Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu:
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. ATVA (1) 2023: 380-400 - [c135]Yiqing Yu, Taoran Wu, Bican Xia, Ji Wang, Bai Xue:
Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems. CDC 2023: 5804-5811 - [c134]Shiwen Yu, Ting Wang, Ji Wang:
Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. ISSTA 2023: 175-187 - [c133]Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang:
Symbolic Verification of Fuzzy Logic Models. ASE 2023: 1787-1789 - [c132]Yufeng Zhang, Jialu Pan, Li Ken Li, Wanwei Liu, Zhenbang Chen, Xinwang Liu, Ji Wang:
On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions. NeurIPS 2023 - [c131]Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang:
CSP based Formal Modeling and Verification of Behavior Trees. QRS Companion 2023: 1-2 - [c130]Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang:
Input Validation for Neural Networks via Local Robustness Verification. QRS Companion 2023: 237-246 - [c129]Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang:
Formal Verification Based Synthesis for Behavior Trees. SETTA 2023: 72-91 - [c128]Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang:
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. SETTA 2023: 314-330 - [c127]Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue:
Safety Verification for Neural Networks Based on Set-Boundary Analysis. TASE 2023: 248-267 - [i18]Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang:
Repairing Deep Neural Networks Based on Behavior Imitation. CoRR abs/2305.03365 (2023) - [i17]Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu:
Verifying Safety of Neural Networks from Topological Perspectives. CoRR abs/2306.15403 (2023) - [i16]Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu:
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. CoRR abs/2307.15907 (2023) - 2022
- [j49]Shiwen Yu, Ting Wang, Ji Wang:
Data Augmentation by Program Transformation. J. Syst. Softw. 190: 111304 (2022) - [j48]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): 3898-3909 (2022) - [c126]Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang:
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. APSEC 2022: 328-337 - [c125]Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang:
NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. APSEC 2022: 338-347 - [c124]Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang:
Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. FASE 2022: 92-101 - [c123]Haochen He, Zhouyang Jia, Shanshan Li, Yue Yu, Chenglong Zhou, Qing Liao, Ji Wang, Xiangke Liao:
Multi-Intention-Aware Configuration Selection for Performance Tuning. ICSE 2022: 1431-1442 - [c122]Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang:
Collaborative Verification of Uninterpreted Programs. TASE 2022: 148-154 - [i15]Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu:
Reach-avoid Verification Based on Convex Optimization. CoRR abs/2208.08105 (2022) - [i14]Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue:
Safety Verification for Neural Networks Based on Set-boundary Analysis. CoRR abs/2210.04175 (2022) - 2021
- [j47]Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(3): 299-300 (2021) - [j46]Chenglong Zhou, Haoran Liu, Yuanliang Zhang, Zhipeng Xue, Qing Liao, JinJing Zhao, Ji Wang:
Deep Understanding of Runtime Configuration Intention. Int. J. Softw. Eng. Knowl. Eng. 31(6): 775-802 (2021) - [j45]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: 102622 (2021) - [c121]Minglong Li, Zhongxuan Cai, Wenjing Yang, Lixia Wu, Yinghui Xu, Ji Wang:
Dec-SGTS: Decentralized Sub-Goal Tree Search for Multi-Agent Coordination. AAAI 2021: 11282-11289 - [c120]Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang:
Making Rigorous Linear Programming Practical for Program Analysis. CP 2021: 57:1-57:17 - [c119]Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang:
Trace Abstraction-Based Verification for Uninterpreted Programs. FM 2021: 545-562 - [c118]Zhouyang Jia, Shanshan Li, Tingting Yu, Chen Zeng, Erci Xu, Xiaodong Liu, Ji Wang, Xiangke Liao:
DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures. ICSE 2021: 86-98 - [c117]Qianyi Zhang, Zhixin Zeng, Yiming Liu, Kang Tang, Ji Wang:
Dynamic Scene Deblurring Using Enhanced Feature Fusion and Multi - Distillation Mechanism. IJCNN 2021: 1-8 - [c116]Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang:
Static Bound Analysis of Dynamically Allocated Resources for C Programs. ISSRE 2021: 390-400 - [c115]Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang:
Synthesize solving strategy for symbolic execution. ISSTA 2021: 348-360 - [c114]Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang:
Type and interval aware array constraint solving for symbolic execution. ISSTA 2021: 361-373 - [c113]Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang:
Grammar-agnostic symbolic execution by token symbolization. ISSTA 2021: 374-387 - [c112]Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, Xiangke Liao:
Challenges and opportunities: an in-depth empirical study on configuration error injection testing. ISSTA 2021: 478-490 - [c111]Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang:
An Abstract Domain to Infer Linear Absolute Value Equalities. TASE 2021: 47-54 - [c110]Deze Wang, Yue Yu, Shanshan Li, Wei Dong, Ji Wang, Qing Liao:
MulCode: A Multi-task Learning Approach for Source Code Understanding. SANER 2021: 48-59 - [i13]Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang:
On the Properties of Kullback-Leibler Divergence Between Gaussians. CoRR abs/2102.05485 (2021) - [i12]Zhouyang Jia, Shanshan Li, Tingting Yu, Chen Zeng, Erci Xu, Xiaodong Liu, Ji Wang, Xiangke Liao:
DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures. CoRR abs/2102.08543 (2021) - 2020
- [j44]Shanshan Li, Xu Niu, Zhouyang Jia, Xiangke Liao, Ji Wang, Tao Li:
Guiding log revisions by learning from software evolution history. Empir. Softw. Eng. 25(3): 2302-2340 (2020) - [j43]Tun Li, Wanwei Liu, Xinrui Guo, Ji Wang:
Software testing without the oracle correctness assumption. Frontiers Comput. Sci. 14(3): 143203 (2020) - [j42]Wan-Wei Liu, Fu Song, Tang-Hao-Ran Zhang, Ji Wang:
Verifying ReLU Neural Networks from a Model Checking Perspective. J. Comput. Sci. Technol. 35(6): 1365-1381 (2020) - [j41]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): 1267-1284 (2020) - [j40]Zhiming Liu, Ji Wang:
Human-cyber-physical systems: concepts, challenges, and research opportunities. Frontiers Inf. Technol. Electron. Eng. 21(11): 1535-1553 (2020) - [j39]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): 20-22 (2020) - [j38]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: 4663-4673 (2020) - [j37]Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang:
Hierarchical Analysis of Loops With Relaxed Abstract Transformers. IEEE Trans. Reliab. 69(1): 203-215 (2020) - [j36]Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. IEEE Trans. Software Eng. 46(5): 549-565 (2020) - [c109]Mingliang Yang, Jing Zhao, Da Huang, Ji Wang:
Progressive Unsupervised Domain Adaptation for Image-based Person Re-Identification. ICPR 2020: 7730-7736 - [c108]Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang:
MPI-SV: a symbolic verifier for MPI programs. ICSE (Companion Volume) 2020: 93-96 - [c107]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: 1248-1260 - [c106]Haoyu Zhang, Dingkun Long, Guangwei Xu, Muhua Zhu, Pengjun Xie, Fei Huang, Ji Wang:
Learning with Noise: Improving Distantly-Supervised Fine-grained Entity Typing via Automatic Relabeling. IJCAI 2020: 3808-3815 - [c105]Haochen He, Zhouyang Jia, Shanshan Li, Erci Xu, Tingting Yu, Yue Yu, Ji Wang, Xiangke Liao:
CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs. ASE 2020: 623-634 - [c104]Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang:
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. ASE 2020: 846-857 - [c103]Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang:
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. ASE 2020: 1255-1256 - [c102]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: 1260-1261 - [c101]Haotian Wang, Wenjing Yang, Ji Wang, Ruxin Wang, Long Lan, Mingyang Geng:
Pairwise Similarity Regularization for Adversarial Domain Adaptation. ACM Multimedia 2020: 2409-2418 - [c100]Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang:
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. SETTA 2020: 160-176 - [i11]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 abs/2002.03328 (2020) - [i10]Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang:
Input Validation for Neural Networks via Runtime Local Robustness Verification. CoRR abs/2002.03339 (2020) - [i9]Haoyu Zhang, Dingkun Long, Guangwei Xu, Pengjun Xie, Fei Huang, Ji Wang:
Keyphrase Extraction with Dynamic Graph Convolutional Networks and Diversified Inference. CoRR abs/2010.12828 (2020)
2010 – 2019
- 2019
- [j35]Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang:
Evaluation of model checkers by verifying message passing programs. Sci. China Inf. Sci. 62(10): 200101:1-200101:24 (2019) - [j34]Haotian Wang, Wenjing Yang, Zhenyu Zhao, Tingjin Luo, Ji Wang, Yuhua Tang:
Rademacher dropout: An adaptive dropout for deep neural network via optimizing generalization gap. Neurocomputing 357: 177-187 (2019) - [j33]Zhenbang Chen, Hengbiao Yu, Ji Wang, Wei Dong:
Symbolic Verification of Regular Properties for Java Programs. ACM SIGSOFT Softw. Eng. Notes 44(4): 17 (2019) - [c99]Haoyu Zhang, Jingjing Cai, Jianjun Xu, Ji Wang:
Complex Question Decomposition for Semantic Parsing. ACL (1) 2019: 4477-4486 - [c98]Haoyu Zhang, Jingjing Cai, Jianjun Xu, Ji Wang:
Pretraining-Based Natural Language Generation for Text Summarization. CoNLL 2019: 789-797 - [c97]Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Parallel refinement for multi-threaded program verification. ICSE 2019: 643-653 - [c96]Minglong Li, Wenjing Yang, Zhongxuan Cai, Shaowu Yang, Ji Wang:
Integrating Decision Sharing with Prediction in Decentralized Planning for Multi-Agent Coordination under Uncertainty. IJCAI 2019: 450-456 - [c95]Zhouyang Jia, Shanshan Li, Tingting Yu, Xiangke Liao, Ji Wang, Xiaodong Liu, Yunhuai Liu:
Detecting Error-Handling Bugs without Error Specification Input. ASE 2019: 213-225 - [c94]Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot:
Verifying Numerical Programs via Iterative Abstract Testing. SAS 2019: 247-267 - [c93]Zhouyang Jia, Shanshan Li, Tingting Yu, Xiangke Liao, Ji Wang:
Automatically detecting missing cleanup for ungraceful exits. ESEC/SIGSOFT FSE 2019: 751-762 - [c92]Yanjun Wen, Ji Wang:
Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction. SOFL+MSVL 2019: 3-12 - [i8]Haoyu Zhang, Yeyun Gong, Yu Yan, Nan Duan, Jianjun Xu, Ji Wang, Ming Gong, Ming Zhou:
Pretraining-Based Natural Language Generation for Text Summarization. CoRR abs/1902.09243 (2019) - 2018
- [j32]Liangze Yin, Wei Dong, Fei He, Ji Wang:
A True-Concurrency Encoding for BMC of Compositional Systems. Comput. J. 61(5): 658-671 (2018) - [j31]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): 699-712 (2018) - [c91]Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong:
Symbolic verification of regular properties. ICSE 2018: 871-881 - [c90]Shanshan Li, Xu Niu, Zhouyang Jia, Ji Wang, Haochen He, Teng Wang:
Logtracker: learning log revision behaviors proactively from software evolution history. ICPC 2018: 178-188 - [c89]Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Scheduling constraint based abstraction refinement for weak memory models. ASE 2018: 645-655 - [c88]Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang:
YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). TACAS (2) 2018: 422-426 - [p1]Xueguang Wu, Liqian Chen, Ji Wang:
Analyzing Interrupt Handlers via Interprocedural Summaries. Symposium on Real-Time and Hybrid Systems 2018: 246-262 - [e3]Cliff B. Jones, Ji Wang, Naijun Zhan:
Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 11180, Springer 2018, ISBN 978-3-030-01460-5 [contents] - [i7]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 abs/1803.06300 (2018) - [i6]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 abs/1811.07108 (2018) - 2017
- [c87]Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong:
RGSE: a regular property guided symbolic executor for Java. ESEC/SIGSOFT FSE 2017: 954-958 - [c86]Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang:
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. VMCAI 2017: 310-329 - [e2]Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang:
Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Lecture Notes in Computer Science 10606, Springer 2017, ISBN 978-3-319-69482-5 [contents] - [i5]Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. CoRR abs/1708.08323 (2017) - 2016
- [j30]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): 70:1-70:26 (2016) - 2015
- [j29]Banghu Yin, Liqian Chen, Ji Wang:
基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions). 计算机科学 42(7): 32-37 (2015) - [c85]Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang:
MPISE: Symbolic Execution of MPI Programs. HASE 2015: 181-188 - [c84]Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu:
Regular Property Guided Dynamic Symbolic Execution. ICSE (1) 2015: 643-653 - [c83]Jingwen Zhou, Zhenbang Chen, Ji Wang:
Poster: Segmentation Based Online Performance Problem Diagnosis. ICSE (2) 2015: 807-808 - [c82]Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang:
Poster: Symbolic Execution of MPI Programs. ICSE (2) 2015: 809-810 - [c81]Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang:
A Simple Probabilistic Extension of Modal Mu-calculus. IJCAI 2015: 882-888 - [i4]