Towards Function-Level Correctness Assessment of System Software with LLMs: A Case Study.

Ming Zhong, Xin Sun

Browse the full APSEC paper archive.