Image de couverture de livre

Using Assurance Cases to Guide Verification and Validation of Research Software

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Smith, W. Spencer, Lin, Jingyi
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Model Based System Assurance Using the Structured Assurance Case Metamodel
par: Wei, Ran, et autres
Publié: (2019)

Beyond ChatGPT: Enhancing Software Quality Assurance Tasks with Diverse LLMs and Validation Techniques
par: Widyasari, Ratnadira, et autres
Publié: (2024)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
par: Murphy, Logan, et autres
Publié: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
par: Lubos, Sebastian, et autres
Publié: (2024)

Confidence in Assurance 2.0 Cases
par: Bloomfield, Robin, et autres
Publié: (2024)

Guiding Principles for Using Mixed Methods Research in Software Engineering
par: Storey, Margaret-Anne, et autres
Publié: (2024)

What Makes a Great Software Quality Assurance Engineer?
par: Farias, Roselane Silva, et autres
Publié: (2024)

Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
par: Odu, Oluwafemi, et autres
Publié: (2024)

Towards Continuous Assurance with Formal Verification and Assurance Cases
par: Abeywickrama, Dhaminda B., et autres
Publié: (2025)

State-Of-The-Practice in Quality Assurance in Java-Based Open Source Software Development
par: Khatami, Ali, et autres
Publié: (2023)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
par: Murphy, Logan, et autres
Publié: (2024)

Agentic Verification of Software Systems
par: Tu, Haoxin, et autres
Publié: (2025)

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
par: Gohar, Usman, et autres
Publié: (2024)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
par: Wei, Ran, et autres
Publié: (2024)

A Taxonomy of Real-World Defeaters in Safety Assurance Cases
par: Gohar, Usman, et autres
Publié: (2025)

Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
par: Shahandashti, Kimya Khakzad, et autres
Publié: (2024)

LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases
par: Yu, Gerhard, et autres
Publié: (2025)

Causal Reasoning in Software Quality Assurance: A Systematic Review
par: Giamattei, Luca, et autres
Publié: (2024)

Knowledge-Guided Prompt Learning for Request Quality Assurance in Public Code Review
par: Li, Lin, et autres
Publié: (2024)

Selene: Pioneering Automated Proof in Software Verification
par: Zhang, Lichen, et autres
Publié: (2024)

Combining Tests and Proofs for Better Software Verification
par: Huang, Li, et autres
Publié: (2026)

A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
par: Odu, Oluwafemi, et autres
Publié: (2024)

Challenges of Virtual Validation and Verification for Automotive Functions
par: Cabrero-Daniel, Beatriz, et autres
Publié: (2025)

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
par: Ma, Zhi, et autres
Publié: (2024)

From Verification to Herding: Exploiting Software's Sparsity of Influence
par: Menzies, Tim, et autres
Publié: (2026)

A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0
par: Chen, Shufeng, et autres
Publié: (2025)

The Rise of Agentic Testing: Multi-Agent Systems for Robust Software Quality Assurance
par: Naqvi, Saba, et autres
Publié: (2026)

Political and Ideological Pressure in Software Engineering Research: The Case of DEI Backlash
par: Hyrynsalmi, Sonja M., et autres
Publié: (2026)

Operationalizing Software Engineering Theories for Practical Validation
par: Alves, Isaque, et autres
Publié: (2026)

A Validated Taxonomy on Software Energy Smells
par: Mehditabar, Mohammadjavad, et autres
Publié: (2026)

Reconciling Safety Measurement and Dynamic Assurance
par: Denney, Ewen, et autres
Publié: (2024)

Quality Assurance Practices in Agile Methodology
par: Wakili, Almustapha A., et autres
Publié: (2024)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
par: Wang, Weiqi, et autres
Publié: (2025)

Verification and Validation of Autonomous Systems
par: Shetiya, Sneha Sudhir, et autres
Publié: (2024)

Towards Understanding and Applying Security Assurance Cases for Automotive Systems
par: Mohamad, Mazen
Publié: (2024)

The Future of Software Testing: AI-Powered Test Case Generation and Validation
par: Baqar, Mohammad, et autres
Publié: (2024)

Guiding Effort Allocation in Open-Source Software Projects Using Bus Factor Analysis
par: Lisan, Aliza, et autres
Publié: (2024)

Model-Assisted and Human-Guided: Perceptions and Practices of Software Professionals Using LLMs for Coding
par: Santos, Italo, et autres
Publié: (2025)

A Software Engineering Capstone Course Facilitated By GitHub Templates
par: Smith, Spencer, et autres
Publié: (2024)

An Interactive Empirical Approach to the Validation of Software Package Specifications
par: Fraser, S. D., et autres
Publié: (2024)