Shengchao Qin - SANER 2026

Tue 17 - Fri 20 March 2026 Limassol, Cyprus

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

Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation
Synergizing LLM-Driven Semantic Reasoning with Assertion-Guided Analysis for Enhanced Vulnerability Detection
How Well Does Knowledge Injection Enhance LLM-aided Formal Protocol Modeling?

Show activities from other conferences

SANER 2026-profile
View general profile