Hezhen Liu

According to our database, Hezhen Liu authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams.

Hezhen Liu, Jiacheng Yin, Chengqiang Huang, Hao Lan, Zhi Jin, Zheng Zheng, Xun Zhang

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

2022

An Ontological Analysis of Safety-Critical Software and Its Anomalies.

Hezhen Liu, Zhi Jin, Zheng Zheng, Chengqiang Huang, Xun Zhang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022