Copertina

Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Odu, Oluwafemi, Belle, Alvine B., Wang, Song, Kpodjedo, Segla, Lethbridge, Timothy C., Hemmati, Hadi
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

RGFL: Reasoning Guided Fault Localization for Automated Program Repair Using Large Language Models
di: Sepidband, Melika, et al.
Pubblicazione: (2026)

Domain Adaptation for Code Model-based Unit Test Case Generation
di: Shin, Jiho, et al.
Pubblicazione: (2023)

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

FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair
di: Fatima, Sakina, et al.
Pubblicazione: (2023)

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

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

Consistency Meets Verification: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions
di: Taherkhani, Hamed, et al.
Pubblicazione: (2026)

Variability-Aware Machine Learning Model Selection: Feature Modeling, Instantiation, and Experimental Case Study
di: Tavares, Cristina, et al.
Pubblicazione: (2024)

Enhancing LLM-Based Code Generation with Complexity Metrics: A Feedback-Driven Approach
di: Sepidband, Melika, et al.
Pubblicazione: (2025)

Assessing Evaluation Metrics for Neural Test Oracle Generation
di: Shin, Jiho, et al.
Pubblicazione: (2023)

A Systematic Mapping Study of Crowd Knowledge Enhanced Software Engineering Research Using Stack Overflow
di: Tanzil, Minaoar, et al.
Pubblicazione: (2024)

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

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

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

Prompt Engineering or Fine-Tuning: An Empirical Assessment of LLMs for Code
di: Shin, Jiho, et al.
Pubblicazione: (2023)

Toward Automated Validation of Language Model Synthesized Test Cases using Semantic Entropy
di: Taherkhani, Hamed, et al.
Pubblicazione: (2024)

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

Automatic High-Level Test Case Generation using Large Language Models
di: Hasan, Navid Bin, et al.
Pubblicazione: (2025)

Confidence in Assurance 2.0 Cases
di: Bloomfield, Robin, et al.
Pubblicazione: (2024)

Automatic Library Migration Using Large Language Models: First Results
di: Almeida, Aylton, et al.
Pubblicazione: (2024)

Demystifying Errors in LLM Reasoning Traces: An Empirical Study of Code Execution Simulation
di: Abdollahi, Mohammad, et al.
Pubblicazione: (2025)

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

Retrieval-Augmented Test Generation: How Far Are We?
di: Shin, Jiho, et al.
Pubblicazione: (2024)

Can ChatGPT Support Developers? An Empirical Evaluation of Large Language Models for Code Generation
di: Jin, Kailun, et al.
Pubblicazione: (2024)

An Empirical Study on Bug Severity Estimation using Source Code Metrics and Static Analysis
di: Mashhadi, Ehsan, et al.
Pubblicazione: (2022)

On the Role of Fault Localization Context for LLM-Based Program Repair
di: Sepidband, Melika, et al.
Pubblicazione: (2026)

Automated Prompt Engineering for Cost-Effective Code Generation Using Evolutionary Algorithm
di: Taherkhani, Hamed, et al.
Pubblicazione: (2024)

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

TESTEVAL: Benchmarking Large Language Models for Test Case Generation
di: Wang, Wenhan, et al.
Pubblicazione: (2024)

Leveraging Large Vision Language Model For Better Automatic Web GUI Testing
di: Wang, Siyi, et al.
Pubblicazione: (2024)

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

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

A Tool for Test Case Scenarios Generation Using Large Language Models
di: Sami, Abdul Malik, et al.
Pubblicazione: (2024)