Cover Image

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gohar, Usman, Hunter, Michael C., Lutz, Robyn R., Cohen, Myra B.
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Taxonomy of Real-World Defeaters in Safety Assurance Cases
by: Gohar, Usman, et al.
Published: (2025)

Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations
by: Gohar, Usman, et al.
Published: (2024)

A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems
by: Hunter, Michael C., et al.
Published: (2025)

Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024)

Developing Assurance Cases for Adversarial Robustness and Regulatory Compliance in LLMs
by: Momcilovic, Tomas Bueno, et al.
Published: (2024)

GBQA: A Game Benchmark for Evaluating LLMs as Quality Assurance Engineers
by: Jiang, Shufan, et al.
Published: (2026)

OntoGSN: An Ontology-Based Framework for Semantic Management and Extension of Assurance Cases
by: Momcilovic, Tomas Bueno, et al.
Published: (2025)

Towards Continuous Assurance with Formal Verification and Assurance Cases
by: Abeywickrama, Dhaminda B., et al.
Published: (2025)

Beyond Code Snippets: Benchmarking LLMs on Repository-Level Question Answering
by: Alebachew, Yoseph Berhanu, et al.
Published: (2026)

Causal Reasoning in Software Quality Assurance: A Systematic Review
by: Giamattei, Luca, et al.
Published: (2024)

On Unified Prompt Tuning for Request Quality Assurance in Public Code Review
by: Chen, Xinyu, et al.
Published: (2024)

AI Assurance: A Comprehensive Testing Strategy for Enterprise AI Systems
by: Badagi, Chitra, et al.
Published: (2026)

Automating a Complete Software Test Process Using LLMs: An Automotive Case Study
by: Wang, Shuai, et al.
Published: (2025)

Knowledge-Guided Prompt Learning for Request Quality Assurance in Public Code Review
by: Li, Lin, et al.
Published: (2024)

Automated Population-Level Audit Assurance via AI-Based Document Intelligence
by: Vasudevan, Santosh, et al.
Published: (2026)

The Rise of Agentic Testing: Multi-Agent Systems for Robust Software Quality Assurance
by: Naqvi, Saba, et al.
Published: (2026)

Quality Assurance of LLM-generated Code: Addressing Non-Functional Quality Characteristics
by: Sun, Xin, et al.
Published: (2025)

CoCoEvo: Co-Evolution of Programs and Test Cases to Enhance Code Generation
by: Li, Kefan, et al.
Published: (2025)

WALL: A Web Application for Automated Quality Assurance using Large Language Models
by: Abtahi, Seyed Moein, et al.
Published: (2025)

AI-Driven Tools in Modern Software Quality Assurance: An Assessment of Benefits, Challenges, and Future Directions
by: Pysmennyi, Ihor, et al.
Published: (2025)

Defeaters and Eliminative Argumentation in Assurance 2.0
by: Bloomfield, Robin, et al.
Published: (2024)

Position: Early-Stage Quality Assurance in Annotation Pipelines Is More Cost-Effective Than Late-Stage Validation
by: Kothari, Sunil, et al.
Published: (2026)

Using AI/ML to Find and Remediate Enterprise Secrets in Code & Document Sharing Platforms
by: Kerr, Gregor, et al.
Published: (2024)

Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs
by: Wang, Dingji, et al.
Published: (2025)

Using LLMs in Software Requirements Specifications: An Empirical Evaluation
by: Krishna, Madhava, et al.
Published: (2024)

ImproBR: Bug Report Improver Using LLMs
by: Akyol, Emre Furkan, et al.
Published: (2026)

CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
by: Xie, Danning, et al.
Published: (2025)

Strategies for Guiding LLMs to Use Software Design Patterns: A Case of Singleton
by: Kjellberg, Viktor, et al.
Published: (2026)

Leveraging LLMs for Multi-File DSL Code Generation: An Industrial Case Study
by: Chand, Sivajeet, et al.
Published: (2026)

Using LLMs in Generating Design Rationale for Software Architecture Decisions
by: Zhou, Xiyu, et al.
Published: (2025)

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
by: Isaku, Erblin, et al.
Published: (2024)

Utilizing LLMs for Industrial Process Automation: A Case Study on Modifying RAPID Programs
by: Fares, Salim, et al.
Published: (2025)

Scalable and Efficient Large-Scale Log Analysis with LLMs: An IT Software Support Case Study
by: Gupta, Pranjal, et al.
Published: (2025)

Automated Customization of LLMs for Enterprise Code Repositories Using Semantic Scopes
by: Finkler, Ulrich, et al.
Published: (2026)

Get on the Train or be Left on the Station: Using LLMs for Software Engineering Research
by: Trinkenreich, Bianca, et al.
Published: (2025)

Hierarchical Repository-Level Code Summarization for Business Applications Using Local LLMs
by: Dhulshette, Nilesh, et al.
Published: (2025)

Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology
by: Hunter, Josh, et al.
Published: (2024)

Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation
by: Xue, Zhiyi, et al.
Published: (2026)

Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis
by: Dolcetti, Greta, et al.
Published: (2024)

Using LLMs in Software Design: An Empirical Study of GitHub and A Practitioner Survey
by: Wang, Yifei, et al.
Published: (2026)