Zhenbang Chen

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 47

Top Topics

Software Defect

Constraint Solving

Multivariate Gaussian

Top Venues

Publications

Zhen Wang, Zhenbang Chen
AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution). TACAS (3) (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)
Luyao Liu, Guofeng Zhang, Zhenbang Chen, Ji Wang
Hybrid Regression Test Selection by Synergizing File and Method Call Dependences. SIGSOFT FSE Companion (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)
Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang
Symbolic Execution of MPI Programs with One-Sided Communications. APSEC (2023)
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)
Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang
Symbolic Verification of Fuzzy Logic Models. ASE (2023)
Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang
CSP based Formal Modeling and Verification of Behavior Trees. QRS Companion (2023)
Yulei Zhu, Yufeng Zhang, Zhenbang Chen
Statement-Level Software Defect Prediction Based on Improved R-Transformer. J. Circuits Syst. Comput. 32 (11) (2023)
Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang
Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability. SANER (2023)
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) (2023)
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. APSEC (2023)
Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang
Formal Verification Based Synthesis for Behavior Trees. SETTA (2023)
Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang
CCMOP: A Runtime Verification Tool for C/C++ Programs. RV (2023)
Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. APSEC (2022)
Guofeng Zhang, Zhenbang Chen, Ziqi Shuai
Symbolic Execution of Floating-point Programs: How far are we? APSEC (2022)
Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang
Collaborative Verification of Uninterpreted Programs. TASE (2022)
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)
Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang
Trace Abstraction-Based Verification for Uninterpreted Programs. FM (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)
Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai
Selective Symbolization Based Efficient Symbolic Execution. QRS Companion (2021)
Jinjian Luo, Meixi Liu, Yunlai Luo, Zhenbang Chen, Yufeng Zhang
A Runtime Monitoring Based Fuzzing Framework for Temporal Properties. ISSRE Workshops (2021)
Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan
Synthesizing Smart Solving Strategy for Symbolic Execution. ASE (2020)
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)
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)
Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. ASE (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)
Mark Hamilton, Stephanie Fu, Mindren Lu, Johnny Bui, Darius Bopp, Zhenbang Chen, Felix Tran, Margaret Wang, Marina Rogers, Lei Zhang, Chris Hoder, William T. Freeman
MosAIc: Finding Artistic Connections across Culture with Conditional Image Retrieval. NeurIPS (Competition and Demos) (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)
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)
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)
Yijun Liu, Zhenbang Chen, Wei Dong, Chendong Feng
MC/DC coverage-oriented compiler optimization for symbolic execution. ICSE (Companion Volume) (2018)
Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin
Towards optimal concolic testing. ICSE (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)
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)
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)
Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
Towards an Open Data Set for Trace-Oriented Monitoring. IEEE CLOUD (2014)
Haibo Mi, Huaimin Wang, Zhenbang Chen, Yangfan Zhou
Automatic Detecting Performance Bugs in Cloud Computing Systems via Learning Latency Specification Model. SOSE (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)
Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
Trace Bench: An Open Data Set for Trace-Oriented Monitoring. CloudCom (2014)
Kang Yu, Zhenbang Chen, Wei Dong
A Predictive Runtime Verification Framework for Cyber-Physical Systems. SERE (Companion) (2014)
Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang
Synchronization Error Detection of MPI Programs by Symbolic Execution. APSEC (1) (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)
Chengsong Wang, Zhenbang Chen, Xiaoguang Mao
Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations. RV (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)
Haibo Mi, Huaimin Wang, Hua Cai, Yangfan Zhou, Michael R. Lyu, Zhenbang Chen
P-Tracer: Path-Based Performance Profiling in Cloud Computing Systems. COMPSAC (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)
Yufeng Zhang, Zhenbang Chen, Ji Wang
Speculative Symbolic Execution CoRR (2012)
Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
Topology-Aware Deployment of Scientific Applications in Cloud Computing. IEEE CLOUD (2012)
Xiang Rao, Huaimin Wang, Dianxi Shi, Zhenbang Chen, Hua Cai, Qi Zhou, Tingtao Sun
Identifying faults in large-scale distributed systems by filtering noisy error logs. DSN Workshops (2011)
Zhenbang Chen, Zhiming Liu, Ji Wang
Failure-Divergence Refinement of Compensating Communicating Processes. FM (2011)
Zhenbang Chen, Zhiming Liu
An Extended cCSP with Stable Failures Semantics. ICTAC (2010)
Zhenbang Chen, Charles Morisset, Volker Stolz
Specification and Validation of Behavioural Protocols in the rCOS Modeler. FSEN (2009)
Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan
Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74 (4) (2009)
Zuohua Ding, Zhenbang Chen, Jing Liu
A Rigorous Model of Service Component Architecture. Electron. Notes Theor. Comput. Sci. 207 (2008)
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi
Interface theory-based formalisation and verification of orchestration in BPEL4WS. Int. J. Bus. Process. Integr. Manag. 2 (4) (2007)
Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan
Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME (2007)
Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
A Refinement Driven Component-Based Design. ICECCS (2007)
Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang
Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems (2007)
Wei Dong, Zhenbang Chen, Ji Wang
A Contract-based Approach to Specifying and Verifying Safety Critical Systems. Electron. Notes Theor. Comput. Sci. 176 (2) (2007)
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi
Towards Formal Interfaces for Web Services with Transactions. SITIS (2006)
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung
An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) (2006)