NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
External Source
chorus
Document Type
Version of Record
Authors
Usman Gohar
Michael C. Hunter
Robyn R. Lutz
Myra B. Cohen
Date Acquired
October 26, 2026
Publication Information
Publication: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering
Publisher: ACM
DOI: 10.1145/3691620.3695296
Funding Number(s)
funding: 80NSSC23M0058
Distribution Limits
Public

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
Document Not Available for PreviewClick to Access Document