Buchumschlag

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gohar, Usman, Hunter, Michael C., Lutz, Robyn R., Cohen, Myra B.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Taxonomy of Real-World Defeaters in Safety Assurance Cases
von: Gohar, Usman, et al.
Veröffentlicht: (2025)

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

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

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

Developing Assurance Cases for Adversarial Robustness and Regulatory Compliance in LLMs
von: Momcilovic, Tomas Bueno, et al.
Veröffentlicht: (2024)

GBQA: A Game Benchmark for Evaluating LLMs as Quality Assurance Engineers
von: Jiang, Shufan, et al.
Veröffentlicht: (2026)

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

Towards Continuous Assurance with Formal Verification and Assurance Cases
von: Abeywickrama, Dhaminda B., et al.
Veröffentlicht: (2025)

Beyond Code Snippets: Benchmarking LLMs on Repository-Level Question Answering
von: Alebachew, Yoseph Berhanu, et al.
Veröffentlicht: (2026)

Causal Reasoning in Software Quality Assurance: A Systematic Review
von: Giamattei, Luca, et al.
Veröffentlicht: (2024)

On Unified Prompt Tuning for Request Quality Assurance in Public Code Review
von: Chen, Xinyu, et al.
Veröffentlicht: (2024)

AI Assurance: A Comprehensive Testing Strategy for Enterprise AI Systems
von: Badagi, Chitra, et al.
Veröffentlicht: (2026)

Automating a Complete Software Test Process Using LLMs: An Automotive Case Study
von: Wang, Shuai, et al.
Veröffentlicht: (2025)

Knowledge-Guided Prompt Learning for Request Quality Assurance in Public Code Review
von: Li, Lin, et al.
Veröffentlicht: (2024)

Automated Population-Level Audit Assurance via AI-Based Document Intelligence
von: Vasudevan, Santosh, et al.
Veröffentlicht: (2026)

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

Quality Assurance of LLM-generated Code: Addressing Non-Functional Quality Characteristics
von: Sun, Xin, et al.
Veröffentlicht: (2025)

CoCoEvo: Co-Evolution of Programs and Test Cases to Enhance Code Generation
von: Li, Kefan, et al.
Veröffentlicht: (2025)

WALL: A Web Application for Automated Quality Assurance using Large Language Models
von: Abtahi, Seyed Moein, et al.
Veröffentlicht: (2025)

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

Defeaters and Eliminative Argumentation in Assurance 2.0
von: Bloomfield, Robin, et al.
Veröffentlicht: (2024)

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

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

Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs
von: Wang, Dingji, et al.
Veröffentlicht: (2025)

Using LLMs in Software Requirements Specifications: An Empirical Evaluation
von: Krishna, Madhava, et al.
Veröffentlicht: (2024)

ImproBR: Bug Report Improver Using LLMs
von: Akyol, Emre Furkan, et al.
Veröffentlicht: (2026)

CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
von: Xie, Danning, et al.
Veröffentlicht: (2025)

Strategies for Guiding LLMs to Use Software Design Patterns: A Case of Singleton
von: Kjellberg, Viktor, et al.
Veröffentlicht: (2026)

Leveraging LLMs for Multi-File DSL Code Generation: An Industrial Case Study
von: Chand, Sivajeet, et al.
Veröffentlicht: (2026)

Using LLMs in Generating Design Rationale for Software Architecture Decisions
von: Zhou, Xiyu, et al.
Veröffentlicht: (2025)

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

Utilizing LLMs for Industrial Process Automation: A Case Study on Modifying RAPID Programs
von: Fares, Salim, et al.
Veröffentlicht: (2025)

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

Automated Customization of LLMs for Enterprise Code Repositories Using Semantic Scopes
von: Finkler, Ulrich, et al.
Veröffentlicht: (2026)

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

Hierarchical Repository-Level Code Summarization for Business Applications Using Local LLMs
von: Dhulshette, Nilesh, et al.
Veröffentlicht: (2025)

Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology
von: Hunter, Josh, et al.
Veröffentlicht: (2024)

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

Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis
von: Dolcetti, Greta, et al.
Veröffentlicht: (2024)

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