Zaiyu Cheng

According to our database, Zaiyu Cheng authored at least 1 paper in 2024.

Collaborative distances:

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

2024

JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking.

Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas C. Cordeiro

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024