:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wei, Ran, Kelly, Tim P., Dai, Xiaotian, Zhao, Shuai, Hawkins, Richard
Format:	Preprint
Published:	2019
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/1905.02427
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
by: Odu, Oluwafemi, 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)

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

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

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

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

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

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

Modular Assurance of Complex Systems Using Contract-Based Design Principles
by: McGeorge, Dag, et al.
Published: (2024)

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)

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

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

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

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)

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

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

Explainable Compliance Detection with Multi-Hop Natural Language Inference on Assurance Case Structure
by: Ikhwantri, Fariz, et al.
Published: (2025)

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
by: Murugesan, Anitha, et al.
Published: (2024)

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering
by: Dornauer, Benedikt, et al.
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)

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

State-Of-The-Practice in Quality Assurance in Java-Based Open Source Software Development
by: Khatami, Ali, et al.
Published: (2023)

Business Process Modeling Using a Metamodeling Approach
by: Vitolins, Valdis
Published: (2025)

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

What Makes a Great Software Quality Assurance Engineer?
by: Farias, Roselane Silva, et al.
Published: (2024)

Fostering Microservice Maintainability Assurance through a Comprehensive Framework
by: Abdelfattah, Amr S.
Published: (2024)

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
by: Chechik, Marsha, et al.
Published: (2025)

Quality Assurance for LLM-RAG Systems: Empirical Insights from Tourism Application Testing
by: Ahmed, Bestoun S., et al.
Published: (2025)

Developing Assurance Cases for Adversarial Robustness and Regulatory Compliance in LLMs
by: Momcilovic, Tomas Bueno, et al.
Published: (2024)

AI Assurance: A Comprehensive Testing Strategy for Enterprise AI Systems
by: Badagi, Chitra, et al.
Published: (2026)

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

Towards a Robust Quality Assurance Framework for Cloud Computing Environments
by: Alharbi, Mohammed, et al.
Published: (2025)

Enhancing Uncertainty Quantification for Runtime Safety Assurance Using Causal Risk Analysis and Operational Design Domain
by: Bouchekir, Radouane, et al.
Published: (2025)