conf.researchr.org / Shengchao Qin
Registered user since Wed 5 Jan 2022
Name:Shengchao Qin
Country:China
Affiliation:Xidian University
Personal website: https://scqin.github.io/publication.html
Research interests:Formal Methods, Software Engineering, Programming Languages
Contributions
2026
SANER
- Author of Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation within the Early Research Achievement (ERA) Track -track
- Author of Synergizing LLM-Driven Semantic Reasoning with Assertion-Guided Analysis for Enhanced Vulnerability Detection within the Early Research Achievement (ERA) Track -track
- Author of How Well Does Knowledge Injection Enhance LLM-aided Formal Protocol Modeling? within the Early Research Achievement (ERA) Track -track