Cover Image

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Murphy, Logan, Viger, Torin, Di Sandro, Alessio, Chechik, Marsha
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

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

Abductive Vibe Coding (Extended Abstract)
by: Murphy, Logan, et al.
Published: (2026)

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

Future of Software Engineering Research: The SIGSOFT Perspective
by: Di Penta, Massimiliano, et al.
Published: (2026)

A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks
by: Hudson, Sinclair, et al.
Published: (2024)

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
by: Feng, Nick, et al.
Published: (2024)

Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems
by: Júnior, Everaldo Silva, et al.
Published: (2026)

Abstraction Engineering
by: Bencomo, Nelly, et al.
Published: (2024)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
by: Wei, Ran, 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)

Multi-CoLoR: Context-Aware Localization and Reasoning across Multi-Language Codebases
by: Vats, Indira, et al.
Published: (2026)

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

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

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

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering
by: Dornauer, Benedikt, et al.
Published: (2025)

Software Product Line Engineering: Adoption, Tooling and AI Era Challenges
by: Nazar, Najam
Published: (2026)

Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
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)

Flexible Process Variant Binding in Information Systems with Software Product Line Engineering
by: Hehnle, Philipp, et al.
Published: (2024)

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

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

Replication in Requirements Engineering: the NLP for RE Case
by: Abualhaija, Sallam, et al.
Published: (2023)

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

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
by: Calinescu, Radu, 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)

GBQA: A Game Benchmark for Evaluating LLMs as Quality Assurance Engineers
by: Jiang, Shufan, et al.
Published: (2026)

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)

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

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

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

Normative Requirements Operationalization with Large Language Models
by: Feng, Nick, et al.
Published: (2024)

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)

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

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

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

More Rigorous Software Engineering Would Improve Reproducibility in Machine Learning Research
by: Wolter, Moritz, et al.
Published: (2025)