Published April 9, 2026 | Version v1.1
Software Open

Yuuoniy/SpecAuditor: Generating Audit Specifications for LLM-Driven Bug Detection

Authors/Creators

  • 1. Postdoc@HKU

Description

SpecAuditor: Generating Audit Specifications for LLM-Driven Bug Detection

Files

Yuuoniy/SpecAuditor-v1.1.zip

Files (67.9 MB)

Name Size Download all
md5:5d5b2e1ea805817a5502a1bc335aaf2b
67.9 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/Yuuoniy/SpecAuditor/tree/v1.1 (URL)

Software

Repository URL
https://github.com/Yuuoniy/SpecAuditor