APSEC 2025
Tue 2 - Fri 5 December 2025
Macao, China
Toggle navigation
Attending
Venue: Wynn Palace
Registration
Transportation
Accommodation
Traval Grant
Tracks
APSEC 2025
Keynotes
Technical Track
Early Research Achievements (ERA)
Software Engineering in Practices (SEIP)
Tutorials
Doctoral Symposium
Student Research Competition
Tool Demonstration
Workshops
Organization
APSEC 2025 Committees
Organizing Committee
Steering Committee
Track Committees
Technical Track
Early Research Achievements (ERA)
Software Engineering in Practices (SEIP)
Tutorials
Doctoral Symposium
Student Research Competition
Tool Demonstration
Workshops
Contributors
People Index
Search
Series
Series
APSEC 2025
APSEC 2024
APSEC 2023
APSEC 2022
Sign in
Sign up
APSEC 2025
(
series
) /
Early Research Achievements (ERA)
/
Towards Function-Level Correctness Assessment of System Software with LLMs: A Case Study
Who
Zhong Ming
,
Xin Sun
Track
APSEC 2025 Early Research Achievements (ERA)
Zhong Ming
Self
China
Xin Sun
School of Electronic Information Engineering, China West Normal University
x
Sun 26 Oct 23:25
