Image de couverture de livre

Confidence in Assurance 2.0 Cases

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bloomfield, Robin, Rushby, John
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

Quantifying Confidence in Assurance 2.0 Arguments
par: Bloomfield, Robin, et autres
Publié: (2026)

Where AI Assurance Might Go Wrong: Initial lessons from engineering of critical systems
par: Bloomfield, Robin, et autres
Publié: (2025)

Assessing Confidence with Assurance 2.0
par: Bloomfield, Robin, et autres
Publié: (2022)

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
par: Murugesan, Anitha, et autres
Publié: (2024)

Defeaters and Eliminative Argumentation in Assurance 2.0
par: Bloomfield, Robin, et autres
Publié: (2024)

Understanding: reframing automation and assurance
par: Bloomfield, Robin
Publié: (2026)

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

Assurance of AI Systems From a Dependability Perspective
par: Bloomfield, Robin, et autres
Publié: (2024)

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

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

Using Assurance Cases to Guide Verification and Validation of Research Software
par: Smith, W. Spencer, 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)

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

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

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

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering
par: Dornauer, Benedikt, et autres
Publié: (2025)

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)

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

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

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

Continuous Observability Assurance in Cloud-Native Applications
par: Borges, Maria C., et autres
Publié: (2025)

Embedding Quality Assurance in project-based learning
par: Spichkova, Maria
Publié: (2025)

Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus
par: Sorokin, Lev, et autres
Publié: (2024)

Evaluating the Role of Security Assurance Cases in Agile Medical Device Development
par: Fransson, Max, et autres
Publié: (2024)

Evaluating Assurance Cases as Text-Attributed Graphs for Structure and Provenance Analysis
par: Ikhwantri, Fariz, et autres
Publié: (2026)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
par: Mohamad, Mazen
Publié: (2025)

AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation
par: Skoglund, Martin, et autres
Publié: (2025)

OntoGSN: An Ontology-Based Framework for Semantic Management and Extension of Assurance Cases
par: Momcilovic, Tomas Bueno, et autres
Publié: (2025)

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

Fostering Microservice Maintainability Assurance through a Comprehensive Framework
par: Abdelfattah, Amr S.
Publié: (2024)

VibeContract: The Missing Quality Assurance Piece in Vibe Coding
par: Wang, Song
Publié: (2026)

Explainable Compliance Detection with Multi-Hop Natural Language Inference on Assurance Case Structure
par: Ikhwantri, Fariz, et autres
Publié: (2025)

Towards a Robust Quality Assurance Framework for Cloud Computing Environments
par: Alharbi, Mohammed, 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)

"Good" and "Bad" Failures in Industrial CI/CD -- Balancing Cost and Quality Assurance
par: Sun, Simin, et autres
Publié: (2025)

Developing Assurance Cases for Adversarial Robustness and Regulatory Compliance in LLMs
par: Momcilovic, Tomas Bueno, et autres
Publié: (2024)