Cited By
View all- Gohar UHunter MLutz RCohen MFilkov VRay BZhou M(2024)CoDefeater: Using LLMs To Find Defeaters in Assurance CasesProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695296(2262-2267)Online publication date: 27-Oct-2024