default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhenbang Chen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j17]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)- [j16]Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang:
Verification of message-passing uninterpreted programs. Sci. Comput. Program. 234: 103075 (2024) - [j15]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) - [j14]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) - [c60]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 - [c59]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 - [c58]Zhen Wang, Zhenbang Chen:
AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution). TACAS (3) 2024: 347-352 - 2023
- [j13]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) - [j12]Yulei Zhu, Yufeng Zhang, Zhenbang Chen:
Statement-Level Software Defect Prediction Based on Improved R-Transformer. J. Circuits Syst. Comput. 32(11): 2350183:1-2350183:25 (2023) - [c57]Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang:
Symbolic Execution of MPI Programs with One-Sided Communications. APSEC 2023: 657-658 - [c56]Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang:
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. APSEC 2023: 661-662 - [c55]Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang:
Symbolic Verification of Fuzzy Logic Models. ASE 2023: 1787-1789 - [c54]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 - [c53]Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang:
CSP based Formal Modeling and Verification of Behavior Trees. QRS Companion 2023: 1-2 - [c52]Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang:
CCMOP: A Runtime Verification Tool for C/C++ Programs. RV 2023: 339-350 - [c51]Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang:
Formal Verification Based Synthesis for Behavior Trees. SETTA 2023: 72-91 - [c50]Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang:
Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability. SANER 2023: 224-235 - 2022
- [c49]Guofeng Zhang, Zhenbang Chen, Ziqi Shuai:
Symbolic Execution of Floating-point Programs: How far are we? APSEC 2022: 179-188 - [c48]Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang:
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. APSEC 2022: 328-337 - [c47]Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang:
Collaborative Verification of Uninterpreted Programs. TASE 2022: 148-154 - 2021
- [c46]Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang:
Trace Abstraction-Based Verification for Uninterpreted Programs. FM 2021: 545-562 - [c45]Jinjian Luo, Meixi Liu, Yunlai Luo, Zhenbang Chen, Yufeng Zhang:
A Runtime Monitoring Based Fuzzing Framework for Temporal Properties. ISSRE Workshops 2021: 300-301 - [c44]Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang:
Synthesize solving strategy for symbolic execution. ISSTA 2021: 348-360 - [c43]Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang:
Type and interval aware array constraint solving for symbolic execution. ISSTA 2021: 361-373 - [c42]Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang:
Grammar-agnostic symbolic execution by token symbolization. ISSTA 2021: 374-387 - [c41]Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai:
Selective Symbolization Based Efficient Symbolic Execution. QRS Companion 2021: 1169-1170 - [i6]Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang:
On the Properties of Kullback-Leibler Divergence Between Gaussians. CoRR abs/2102.05485 (2021) - 2020
- [j11]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) - [j10]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) - [c40]Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang:
MPI-SV: a symbolic verifier for MPI programs. ICSE (Companion Volume) 2020: 93-96 - [c39]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 - [c38]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 - [c37]Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang:
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. ASE 2020: 1255-1256 - [c36]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 - [c35]Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan:
Synthesizing Smart Solving Strategy for Symbolic Execution. ASE 2020: 1262-1263 - [c34]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: 133-155 - [c33]Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang:
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. SETTA 2020: 160-176 - [i5]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)
2010 – 2019
- 2019
- [j9]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) - [j8]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) - 2018
- [j7]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) - [c32]Yijun Liu, Zhenbang Chen, Wei Dong, Chendong Feng:
MC/DC coverage-oriented compiler optimization for symbolic execution. ICSE (Companion Volume) 2018: 214-215 - [c31]Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin:
Towards optimal concolic testing. ICSE 2018: 291-302 - [c30]Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong:
Symbolic verification of regular properties. ICSE 2018: 871-881 - [i4]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) - [i3]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
- [c29]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 - 2015
- [c28]Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang:
MPISE: Symbolic Execution of MPI Programs. HASE 2015: 181-188 - [c27]Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu:
Regular Property Guided Dynamic Symbolic Execution. ICSE (1) 2015: 643-653 - [c26]Jingwen Zhou, Zhenbang Chen, Ji Wang:
Poster: Segmentation Based Online Performance Problem Diagnosis. ICSE (2) 2015: 807-808 - [c25]Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang:
Poster: Symbolic Execution of MPI Programs. ICSE (2) 2015: 809-810 - 2014
- [j6]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): 338-370 (2014) - [c24]Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu:
Towards an Open Data Set for Trace-Oriented Monitoring. IEEE CLOUD 2014: 922-923 - [c23]Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang:
Synchronization Error Detection of MPI Programs by Symbolic Execution. APSEC (1) 2014: 127-134 - [c22]Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu:
Trace Bench: An Open Data Set for Trace-Oriented Monitoring. CloudCom 2014: 519-526 - [c21]Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Wei Dong:
A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. ISSRE Workshops 2014: 152-155 - [c20]Jingwen Zhou, Zhenbang Chen, Haibo Mi, Ji Wang:
MTracer: A Trace-Oriented Monitoring Framework for Medium-Scale Distributed Systems. SOSE 2014: 266-271 - [c19]Haibo Mi, Huaimin Wang, Zhenbang Chen, Yangfan Zhou:
Automatic Detecting Performance Bugs in Cloud Computing Systems via Learning Latency Specification Model. SOSE 2014: 302-307 - [c18]Kang Yu, Zhenbang Chen, Wei Dong:
A Predictive Runtime Verification Framework for Cyber-Physical Systems. SERE (Companion) 2014: 223-227 - [i2]Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Ji Wang:
MPISE: Symbolic Execution of MPI Programs. CoRR abs/1403.4813 (2014) - 2013
- [c17]Chengsong Wang, Zhenbang Chen, Xiaoguang Mao:
Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations. RV 2013: 269-284 - [c16]Hengbiao Yu, Zhenbang Chen, Ji Wang:
An Operational Semantics for Model Checking Long Running Transactions. WS-FM 2013: 168-187 - 2012
- [j5]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): 31-55 (2012) - [j4]Yufeng Zhang, Zhenbang Chen, Ji Wang:
S2PF: speculative symbolic PathFinder. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - [j3]Zhenbang Chen, Zhiming Liu, Ji Wang:
Failure-divergence semantics and refinement of long running transactions. Theor. Comput. Sci. 455: 31-65 (2012) - [c15]Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu:
Topology-Aware Deployment of Scientific Applications in Cloud Computing. IEEE CLOUD 2012: 319-326 - [c14]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: 509-514 - [c13]Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng:
Online Optimization of VM Deployment in IaaS Cloud. ICPADS 2012: 760-765 - [c12]Yufeng Zhang, Zhenbang Chen, Ji Wang:
Speculative Symbolic Execution. ISSRE 2012: 101-110 - [i1]Yufeng Zhang, Zhenbang Chen, Ji Wang:
Speculative Symbolic Execution. CoRR abs/1205.4951 (2012) - 2011
- [c11]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: 140-145 - [c10]Zhenbang Chen, Zhiming Liu, Ji Wang:
Failure-Divergence Refinement of Compensating Communicating Processes. FM 2011: 262-277 - 2010
- [c9]Zhenbang Chen, Zhiming Liu:
An Extended cCSP with Stable Failures Semantics. ICTAC 2010: 121-136
2000 – 2009
- 2009
- [j2]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): 168-196 (2009) - [c8]Zhenbang Chen, Charles Morisset, Volker Stolz:
Specification and Validation of Behavioural Protocols in the rCOS Modeler. FSEN 2009: 387-401 - 2007
- [j1]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): 262-281 (2007) - [c7]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: 83-114 - [c6]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: 116-145 - [c5]Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn:
A Refinement Driven Component-Based Design. ICECCS 2007: 277-289 - [c4]Zuohua Ding, Zhenbang Chen, Jing Liu:
A Rigorous Model of Service Component Architecture. TTSS 2007: 33-48 - 2006
- [c3]Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung:
An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) 2006: 139-144 - [c2]Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi:
Towards Formal Interfaces for Web Services with Transactions. SITIS 2006: 292-304 - [c1]Wei Dong, Zhenbang Chen, Ji Wang:
A Contract-based Approach to Specifying and Verifying Safety Critical Systems. FESCA@ETAPS 2006: 89-103
Coauthor Index
[j17] [j16] [j15] [j14] [c60] [c59] [j13] [c56] [c55] [c54] [c53] [c51] [c48] [c47] [c46] [c44] [c43] [c42] [i6] [j11] [j10] [c40] [c39] [c38] [c37] [c36] [c33] [i5] [j9] [j8] [j7] [c30] [i4] [i3] [c29] [c28] [c27] [c26] [c25] [j6] [c24] [c23] [c22] [c21] [c20] [i2] [c16] [j5] [j4] [j3] [c15] [c13] [c12] [i1] [c10] [j1] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 02:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
