Hongzhen Zhong

According to our database, Hongzhen Zhong authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter.

Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao

J. Syst. Softw., 2024

2021

How to Identify Boundary Conditions with Contrasty Metric?

Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae.

Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

2020

Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification.

Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae.

Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei

CoRR, 2019