Cong Tian -

Not registered as user

Name:Cong Tian

Country:China

Affiliation:Xidian University

Contributions

2025

ASE

Author of Bridging Natural Language and Formal Specification - Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs within the Research Papers-track
Author of Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision within the NIER Track-track

2024

ASE

Author of Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback within the Posters-track

2023

ESEC/FSE

Author of [Remote] Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering within the Research Papers-track

ISSTA

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