Zhenbang Chen

Orcid: 0000-0002-4066-7892

According to our database¹, Zhenbang Chen authored at least 78 papers between 2006 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., April, 2024

AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution).

[BibT_eX]

[DOI]

Zhen Wang

Zhenbang Chen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Statement-Level Software Defect Prediction Based on Improved R-Transformer.

[BibT_eX]

[DOI]

Yulei Zhu

Yufeng Zhang

Zhenbang Chen

J. Circuits Syst. Comput., July, 2023

Preface to the Special Issue on Constraint Solving and Theorem Proving.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2023

Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Analysis, 2023

Formal Verification Based Synthesis for Behavior Trees.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

CCMOP: A Runtime Verification Tool for C/C++ Programs.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 23rd International Conference, 2023

CSP based Formal Modeling and Verification of Behavior Trees.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Symbolic Verification of Fuzzy Logic Models.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

Symbolic Execution of MPI Programs with One-Sided Communications.

[BibT_eX]

[DOI]

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Collaborative Verification of Uninterpreted Programs.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2022

Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization.

[BibT_eX]

[DOI]

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

Symbolic Execution of Floating-point Programs: How far are we?

[BibT_eX]

[DOI]

Guofeng Zhang

Zhenbang Chen

Ziqi Shuai

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

On the Properties of Kullback-Leibler Divergence Between Gaussians.

[BibT_eX]

[DOI]

CoRR, 2021

Selective Symbolization Based Efficient Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Type and interval aware array constraint solving for symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Grammar-agnostic symbolic execution by token symbolization.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Synthesize solving strategy for symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

A Runtime Monitoring Based Fuzzing Framework for Temporal Properties.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Trace Abstraction-Based Verification for Uninterpreted Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

The Java Pathfinder Workshop 2019.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2020

Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution.

[BibT_eX]

[DOI]

Frontiers Inf. Technol. Electron. Eng., 2020

Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models.

[BibT_eX]

[DOI]

CoRR, 2020

Symbolic Verification of MPI Programs with Non-deterministic Synchronizations.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

MosAIc: Finding Artistic Connections across Culture with Conditional Image Retrieval.

[BibT_eX]

[DOI]

Proceedings of the NeurIPS 2020 Competition and Demonstration Track, 2020

Efficient Multiplex Symbolic Execution with Adaptive Search Strategy.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Synthesizing Smart Solving Strategy for Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Symbolic verification of message passing interface programs.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

MPI-SV: a symbolic verifier for MPI programs.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019

Symbolic Verification of Regular Properties for Java Programs.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2019

Evaluation of model checkers by verifying message passing programs.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2019

2018

A Data Set for User Request Trace-Oriented Monitoring and its Applications.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2018

Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel.

[BibT_eX]

[DOI]

CoRR, 2018

Combining Symbolic Execution and Model Checking to Verify MPI Programs.

[BibT_eX]

[DOI]

CoRR, 2018

Symbolic verification of regular properties.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Towards optimal concolic testing.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

MC/DC coverage-oriented compiler optimization for symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

RGSE: a regular property guided symbolic executor for Java.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2015

Poster: Segmentation Based Online Performance Problem Diagnosis.

[BibT_eX]

[DOI]

Jingwen Zhou

Zhenbang Chen

Ji Wang

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Regular Property Guided Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Poster: Symbolic Execution of MPI Programs.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

MPISE: Symbolic Execution of MPI Programs.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

A topology-aware method for scientific application deployment on cloud.

[BibT_eX]

[DOI]

Int. J. Web Grid Serv., 2014

MPISE: Symbolic Execution of MPI Programs.

[BibT_eX]

[DOI]

CoRR, 2014

A Predictive Runtime Verification Framework for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Kang Yu

Zhenbang Chen

Wei Dong

Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

MTracer: A Trace-Oriented Monitoring Framework for Medium-Scale Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Automatic Detecting Performance Bugs in Cloud Computing Systems via Learning Latency Specification Model.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Trace Bench: An Open Data Set for Trace-Oriented Monitoring.

[BibT_eX]

[DOI]

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

Synchronization Error Detection of MPI Programs by Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Towards an Open Data Set for Trace-Oriented Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

2013

An Operational Semantics for Model Checking Long Running Transactions.

[BibT_eX]

[DOI]

Hengbiao Yu

Zhenbang Chen

Ji Wang

Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations.

[BibT_eX]

[DOI]

Chengsong Wang

Zhenbang Chen

Xiaoguang Mao

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

Failure-divergence semantics and refinement of long running transactions.

[BibT_eX]

[DOI]

Zhenbang Chen

Zhiming Liu

Ji Wang

Theor. Comput. Sci., 2012

S2PF: speculative symbolic PathFinder.

[BibT_eX]

[DOI]

Yufeng Zhang

Zhenbang Chen

Ji Wang

ACM SIGSOFT Softw. Eng. Notes, 2012

A spectral clustering-based optimal deployment method for scientific application in cloud computing.

[BibT_eX]

[DOI]

Int. J. Web Grid Serv., 2012

Speculative Symbolic Execution.

[BibT_eX]

[DOI]

Yufeng Zhang

Zhenbang Chen

Ji Wang

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Online Optimization of VM Deployment in IaaS Cloud.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

P-Tracer: Path-Based Performance Profiling in Cloud Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Topology-Aware Deployment of Scientific Applications in Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2011

Failure-Divergence Refinement of Compensating Communicating Processes.

[BibT_eX]

[DOI]

Zhenbang Chen

Zhiming Liu

Ji Wang

Proceedings of the FM 2011: Formal Methods, 2011

Identifying faults in large-scale distributed systems by filtering noisy error logs.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

2010

An Extended cCSP with Stable Failures Semantics.

[BibT_eX]

[DOI]

Zhenbang Chen

Zhiming Liu

Proceedings of the Theoretical Aspects of Computing, 2010

2009

Refinement and verification in component-based model-driven design.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2009

Specification and Validation of Behavioural Protocols in the rCOS Modeler.

[BibT_eX]

[DOI]

Zhenbang Chen

Charles Morisset

Volker Stolz

Proceedings of the Fundamentals of Software Engineering, 2009

2007

Interface theory-based formalisation and verification of orchestration in BPEL4WS.

[BibT_eX]

[DOI]

Int. J. Bus. Process. Integr. Manag., 2007

A Rigorous Model of Service Component Architecture.

[BibT_eX]

[DOI]

Zuohua Ding

Zhenbang Chen

Jing Liu

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

A Refinement Driven Component-Based Design.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Modelling with Relational Calculus of Object and Component Systems - rCOS.

[BibT_eX]

[DOI]

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Harnessing rCOS for Tool Support - The CoCoME Experience.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

A Contract-based Approach to Specifying and Verifying Safety Critical Systems.

[BibT_eX]

[DOI]

Wei Dong

Zhenbang Chen

Ji Wang

Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006

Towards Formal Interfaces for Web Services with Transactions.

[BibT_eX]

[DOI]

Proceedings of the Advanced Internet Based Systems and Applications, 2006

An Interface Theory Based Approach to Verification of Web Services.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Zhenbang Chen

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...