Cover Image

Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shahandashti, Kimya Khakzad, Sivakumar, Mithila, Mohajer, Mohammad Mahdi, Belle, Alvine B., Wang, Song, Lethbridge, Timothy C.
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
by: Odu, Oluwafemi, et al.
Published: (2024)

Program Slicing in the Era of Large Language Models
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024)

LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases
by: Yu, Gerhard, et al.
Published: (2025)

I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
by: Sivakumar, Mithila, et al.
Published: (2024)

A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights
by: Zeng, Zhili, et al.
Published: (2025)

Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
by: Odu, Oluwafemi, et al.
Published: (2024)

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
by: Gohar, Usman, et al.
Published: (2024)

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

Safety Case Patterns for VLA-based driving systems: Insights from SimLingo
by: Yu, Gerhard, et al.
Published: (2026)

Biases in gendered citation practices: an exploratory study and some reflections on the Matthew and Matilda effects
by: Tchilinguirova, Karolina, et al.
Published: (2024)

SWE-Bench+: Enhanced Coding Benchmark for LLMs
by: Aleithan, Reem, et al.
Published: (2024)

SmartGSN: an online tool to semi-automatically manage assurance cases
by: Odu, Oluwafemi, et al.
Published: (2024)

Model Based System Assurance Using the Structured Assurance Case Metamodel
by: Wei, Ran, et al.
Published: (2019)

Confidence in Assurance 2.0 Cases
by: Bloomfield, Robin, et al.
Published: (2024)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
by: Murphy, Logan, et al.
Published: (2024)

Beyond ChatGPT: Enhancing Software Quality Assurance Tasks with Diverse LLMs and Validation Techniques
by: Widyasari, Ratnadira, et al.
Published: (2024)

VibeContract: The Missing Quality Assurance Piece in Vibe Coding
by: Wang, Song
Published: (2026)

A Survey on Query-based API Recommendation
by: Wei, Moshi, et al.
Published: (2023)

Using Assurance Cases to Guide Verification and Validation of Research Software
by: Smith, W. Spencer, et al.
Published: (2024)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
by: Wei, Ran, et al.
Published: (2024)

Evaluating Assurance Cases as Text-Attributed Graphs for Structure and Provenance Analysis
by: Ikhwantri, Fariz, et al.
Published: (2026)

Evaluating the Role of Security Assurance Cases in Agile Medical Device Development
by: Fransson, Max, et al.
Published: (2024)

Checker Bug Detection and Repair in Deep Learning Libraries
by: Harzevili, Nima Shiri, et al.
Published: (2024)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
by: Murphy, Logan, et al.
Published: (2025)

Effective Targeted Testing of Smart Contracts
by: Fooladgar, Mahdi, et al.
Published: (2024)

A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0
by: Chen, Shufeng, et al.
Published: (2025)

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

Reconciling Safety Measurement and Dynamic Assurance
by: Denney, Ewen, et al.
Published: (2024)

Quality Assurance Practices in Agile Methodology
by: Wakili, Almustapha A., et al.
Published: (2024)

Towards Understanding and Applying Security Assurance Cases for Automotive Systems
by: Mohamad, Mazen
Published: (2024)

An Empirical Evaluation of Manually Created Equivalent Mutants
by: Straubinger, Philipp, et al.
Published: (2024)

Continuous Observability Assurance in Cloud-Native Applications
by: Borges, Maria C., et al.
Published: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
by: Lubos, Sebastian, et al.
Published: (2024)

Embedding Quality Assurance in project-based learning
by: Spichkova, Maria
Published: (2025)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
by: Mohamad, Mazen
Published: (2025)

Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus
by: Sorokin, Lev, et al.
Published: (2024)

ChatGPT as a Software Development Bot: A Project-based Study
by: Waseem, Muhammad, et al.
Published: (2023)

AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation
by: Skoglund, Martin, et al.
Published: (2025)

ChatGPT for Code Refactoring: Analyzing Topics, Interaction, and Effective Prompts
by: AlOmar, Eman Abdullah, et al.
Published: (2025)

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