Chu Chen -

Registered user since Thu 26 Jan 2017

Name:Chu Chen

Country:China

Affiliation:Qufu Normal University

Contributions

2026

ASE

Author of DafnyRAG: A Retrieval-Augmented and Verification-Driven Tool for Automated Repair of Dafny Code within the Tools and Datasets-track

ESEC/FSE

Author of IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints within the Ideas, Visions and Reflections-track
Author of RAT: Retrieval-Augmented Testing of Certificate Revocation List Parsers in TLS Implementations within the Research Papers-track

ICSE

Author of Atomicity Violation Detection for Interrupt-Driven Programs via Incrementally Exploring Concurrent Paths within the New Ideas and Emerging Results (NIER)-track

2023

ISSTA

Author of SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations within the Technical Papers-track

2018

ICSE - External

https://conf.researchr.org/profile/chuchen of RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations within the Technical Papers -track (part of Technical paper)