Zhenbang Chen - RankMe

93 papers A* 10A 5B 10C 6Misc 3Journal 28Unranked 31

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	FDSE v2: Variable Importance Guided Hybrid Fuzzing (Competition Contribution). FASE Guofeng Zhang, Zhenbang Chen, Ji Wang
2026	J	`jnl`	Integrating Path Selection for Symbolic Execution and Variable Selection for Constraint Solving. ACM Trans. Softw. Eng. Methodol. Shunkai Zhu, Jun Sun, Jingyi Wang, Zhenbang Chen, Peng Cheng
2026	J	`jnl`	S CoRR Lianjing Wang, Yufeng Zhang, Kenli Li, Zhenbang Chen, Xu Zhou, Pengfei Wang, Guangning Song, Ji Wang
2025	—	`conf`	AISE v2.0: Combining Loop Transformations - (Competition Contribution). TACAS (3) Yao Lin, Zhenbang Chen, Ji Wang
2025	B	`conf`	LSFuzz: Learning Adaptive Seed Selection Strategies for Fuzzing. COMPSAC Mingqian Xiao, Yufeng Zhang, Zhenbang Chen
2025	J	`jnl`	Multi-modal Sketch-Based Behavior Tree Synthesis. Proc. ACM Program. Lang. Wenmeng Zhang, Zhenbang Chen, Weijiang Hong
2025	J	`jnl`	QSF: Multi-objective Optimization Based Efficient Solving for Floating-Point Constraints. Proc. ACM Softw. Eng. Xu Yang, Zhenbang Chen, Wei Dong, Ji Wang
2025	—	`conf`	Symbolic Execution Based Automatic Performance Optimization for MPI Programs. SIGSOFT FSE Companion Zheng Bian, Zhenbang Chen, Ji Wang
2025	J	`jnl`	Symbolic execution of floating-point programs: How far are we? J. Syst. Softw. Xu Yang, Guofeng Zhang, Ziqi Shuai, Zhenbang Chen, Ji Wang
2024	—	`conf`	AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution). TACAS (3) Zhen Wang, Zhenbang Chen
2024	J	`jnl`	Adaptive solving strategy synthesis for symbolic execution. J. Softw. Evol. Process. Zhenbang Chen, Guofeng Zhang, Zehua Chen, Ziqi Shuai, Weiyu Pan, Yufeng Zhang, Ji Wang
2024	B	`conf`	FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). FASE Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang
2024	A*	`conf`	Hybrid Regression Test Selection by Integrating File and Method Dependences. ASE Guofeng Zhang, LuYao Liu, Zhenbang Chen, Ji Wang
2024	—	`conf`	Hybrid Regression Test Selection by Synergizing File and Method Call Dependences. SIGSOFT FSE Companion LuYao Liu, Guofeng Zhang, Zhenbang Chen, Ji Wang
2024	J	`jnl`	Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models. IEEE Trans. Knowl. Data Eng. Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang, Zhiming Liu, Hongmei Wei
2024	J	`jnl`	Partial Solution Based Constraint Solving Cache in Symbolic Execution. Proc. ACM Softw. Eng. Ziqi Shuai, Zhenbang Chen, Kelin Ma, Kunlin Liu, Yufeng Zhang, Jun Sun, Ji Wang
2024	J	`jnl`	Verification of message-passing uninterpreted programs. Sci. Comput. Program. Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang
2023	B	`conf`	CCMOP: A Runtime Verification Tool for C/C++ Programs. RV Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang
2023	—	`conf`	CSP based Formal Modeling and Verification of Behavior Trees. QRS Companion Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang
2023	A	`conf`	Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability. SANER Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang
2023	Misc	`conf`	Formal Verification Based Synthesis for Behavior Trees. SETTA Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang
2023	A*	`conf`	On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions. NeurIPS Yufeng Zhang, Jialu Pan, Li Ken Li, Wanwei Liu, Zhenbang Chen, Xinwang Liu, Ji Wang
2023	J	`jnl`	Preface to the Special Issue on Constraint Solving and Theorem Proving. Int. J. Softw. Informatics Shaowei Cai, Zhenbang Chen, Ji Wang, Bohua Zhan, Yongwang Zhao
2023	J	`jnl`	Statement-Level Software Defect Prediction Based on Improved R-Transformer. J. Circuits Syst. Comput. Yulei Zhu, Yufeng Zhang, Zhenbang Chen
2023	C	`conf`	Symbolic Execution of MPI Programs with One-Sided Communications. APSEC Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang
2023	A*	`conf`	Symbolic Verification of Fuzzy Logic Models. ASE Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang
2023	C	`conf`	Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. APSEC Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang
2022	Misc	`conf`	Collaborative Verification of Uninterpreted Programs. TASE Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang
2022	C	`conf`	Symbolic Execution of Floating-point Programs: How far are we? APSEC Guofeng Zhang, Zhenbang Chen, Ziqi Shuai
2022	C	`conf`	Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. APSEC Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang
2021	—	`conf`	A Runtime Monitoring Based Fuzzing Framework for Temporal Properties. ISSRE Workshops Jinjian Luo, Meixi Liu, Yunlai Luo, Zhenbang Chen, Yufeng Zhang
2021	A	`conf`	Grammar-agnostic symbolic execution by token symbolization. ISSTA Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang
2021	J	`jnl`	On the Properties of Kullback-Leibler Divergence Between Gaussians. CoRR Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang
2021	—	`conf`	Selective Symbolization Based Efficient Symbolic Execution. QRS Companion Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai
2021	A	`conf`	Synthesize solving strategy for symbolic execution. ISSTA Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang
2021	B	`conf`	Trace Abstraction-Based Verification for Uninterpreted Programs. FM Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang
2021	A	`conf`	Type and interval aware array constraint solving for symbolic execution. ISSTA Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang
2020	A*	`conf`	Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. ASE Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang
2020	—	`conf`	MPI-SV: a symbolic verifier for MPI programs. ICSE (Companion Volume) Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang
2020	J	`jnl`	Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution. Frontiers Inf. Technol. Electron. Eng. Weijiang Hong, Yijun Liu, Zhenbang Chen, Wei Dong, Ji Wang
2020	—	`conf`	MosAIc: Finding Artistic Connections across Culture with Conditional Image Retrieval. NeurIPS (Competition and Demos) 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
2020	A*	`conf`	Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. ASE Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang
2020	J	`jnl`	Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models. CoRR Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen
2020	A*	`conf`	Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN. ASE Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng, Zhenbang Chen, Ji Wang
2020	Misc	`conf`	Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. SETTA Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang
2020	A*	`conf`	Symbolic verification of message passing interface programs. ICSE Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong
2020	A*	`conf`	Synthesizing Smart Solving Strategy for Symbolic Execution. ASE Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan
2020	J	`jnl`	The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 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
2019	J	`jnl`	Evaluation of model checkers by verifying message passing programs. Sci. China Inf. Sci. Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang
2019	J	`jnl`	Symbolic Verification of Regular Properties for Java Programs. ACM SIGSOFT Softw. Eng. Notes Zhenbang Chen, Hengbiao Yu, Ji Wang, Wei Dong
2018	J	`jnl`	A Data Set for User Request Trace-Oriented Monitoring and its Applications. IEEE Trans. Serv. Comput. Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
2018	J	`jnl`	Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel. CoRR Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang
2018	J	`jnl`	Combining Symbolic Execution and Model Checking to Verify MPI Programs. CoRR Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang
2018	—	`conf`	MC/DC coverage-oriented compiler optimization for symbolic execution. ICSE (Companion Volume) Yijun Liu, Zhenbang Chen, Wei Dong, Chendong Feng
2018	A*	`conf`	Symbolic verification of regular properties. ICSE Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong
2018	A*	`conf`	Towards optimal concolic testing. ICSE Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin
2017	—	`conf`	RGSE: a regular property guided symbolic executor for Java. ESEC/SIGSOFT FSE Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong
2015	—	`conf`	MPISE: Symbolic Execution of MPI Programs. HASE Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang
2015	—	`conf`	Poster: Segmentation Based Online Performance Problem Diagnosis. ICSE (2) Jingwen Zhou, Zhenbang Chen, Ji Wang
2015	—	`conf`	Poster: Symbolic Execution of MPI Programs. ICSE (2) Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang
2015	—	`conf`	Regular Property Guided Dynamic Symbolic Execution. ICSE (1) Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu
2014	—	`conf`	A Predictive Runtime Verification Framework for Cyber-Physical Systems. SERE (Companion) Kang Yu, Zhenbang Chen, Wei Dong
2014	—	`conf`	A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. ISSRE Workshops Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Wei Dong
2014	J	`jnl`	A topology-aware method for scientific application deployment on cloud. Int. J. Web Grid Serv. Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
2014	—	`conf`	Automatic Detecting Performance Bugs in Cloud Computing Systems via Learning Latency Specification Model. SOSE Haibo Mi, Huaimin Wang, Zhenbang Chen, Yangfan Zhou
2014	J	`jnl`	MPISE: Symbolic Execution of MPI Programs. CoRR Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Ji Wang
2014	—	`conf`	MTracer: A Trace-Oriented Monitoring Framework for Medium-Scale Distributed Systems. SOSE Jingwen Zhou, Zhenbang Chen, Haibo Mi, Ji Wang
2014	—	`conf`	Synchronization Error Detection of MPI Programs by Symbolic Execution. APSEC (1) Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang
2014	—	`conf`	Towards an Open Data Set for Trace-Oriented Monitoring. IEEE CLOUD Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
2014	C	`conf`	Trace Bench: An Open Data Set for Trace-Oriented Monitoring. CloudCom Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
2013	—	`conf`	An Operational Semantics for Model Checking Long Running Transactions. WS-FM Hengbiao Yu, Zhenbang Chen, Ji Wang
2013	B	`conf`	Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations. RV Chengsong Wang, Zhenbang Chen, Xiaoguang Mao
2012	J	`jnl`	A spectral clustering-based optimal deployment method for scientific application in cloud computing. Int. J. Web Grid Serv. Pei Fan, Ji Wang, Zhenbang Chen, Zibin Zheng, Michael R. Lyu
2012	J	`jnl`	Failure-divergence semantics and refinement of long running transactions. Theor. Comput. Sci. Zhenbang Chen, Zhiming Liu, Ji Wang
2012	B	`conf`	Online Optimization of VM Deployment in IaaS Cloud. ICPADS Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng
2012	B	`conf`	P-Tracer: Path-Based Performance Profiling in Cloud Computing Systems. COMPSAC Haibo Mi, Huaimin Wang, Hua Cai, Yangfan Zhou, Michael R. Lyu, Zhenbang Chen
2012	J	`jnl`	S2PF: speculative symbolic PathFinder. ACM SIGSOFT Softw. Eng. Notes Yufeng Zhang, Zhenbang Chen, Ji Wang
2012	J	`jnl`	Speculative Symbolic Execution CoRR Yufeng Zhang, Zhenbang Chen, Ji Wang
2012	A	`conf`	Speculative Symbolic Execution. ISSRE Yufeng Zhang, Zhenbang Chen, Ji Wang
2012	—	`conf`	Topology-Aware Deployment of Scientific Applications in Cloud Computing. IEEE CLOUD Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
2011	B	`conf`	Failure-Divergence Refinement of Compensating Communicating Processes. FM Zhenbang Chen, Zhiming Liu, Ji Wang
2011	—	`conf`	Identifying faults in large-scale distributed systems by filtering noisy error logs. DSN Workshops Xiang Rao, Huaimin Wang, Dianxi Shi, Zhenbang Chen, Hua Cai, Qi Zhou, Tingtao Sun
2010	C	`conf`	An Extended cCSP with Stable Failures Semantics. ICTAC Zhenbang Chen, Zhiming Liu
2009	J	`jnl`	Refinement and verification in component-based model-driven design. Sci. Comput. Program. Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan
2009	—	`conf`	Specification and Validation of Behavioural Protocols in the rCOS Modeler. FSEN Zhenbang Chen, Charles Morisset, Volker Stolz
2007	B	`conf`	A Refinement Driven Component-Based Design. ICECCS Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
2007	—	`conf`	A Rigorous Model of Service Component Architecture. TTSS Zuohua Ding, Zhenbang Chen, Jing Liu
2007	—	`conf`	Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang
2007	J	`jnl`	Interface theory-based formalisation and verification of orchestration in BPEL4WS. Int. J. Bus. Process. Integr. Manag. Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi
2007	—	`conf`	Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 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
2006	—	`conf`	A Contract-based Approach to Specifying and Verifying Safety Critical Systems. FESCA@ETAPS Wei Dong, Zhenbang Chen, Ji Wang
2006	—	`conf`	An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung
2006	—	`conf`	Towards Formal Interfaces for Web Services with Transactions. SITIS Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi