Imagen de Portada

Assurance Case Development for Evolving Software Product Lines: A Formal Approach

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Murphy, Logan, Viger, Torin, Di Sandro, Alessio, Babikian, Aren A., Chechik, Marsha
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Abductive Vibe Coding (Extended Abstract)
por: Murphy, Logan, et al.
Publicado: (2026)

Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
por: Babikian, Aren A., et al.
Publicado: (2023)

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

Projectional Decoding: Towards Semantic-Aware LLM Generation
por: Chen, Boqi, et al.
Publicado: (2026)

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
por: Chen, Boqi, et al.
Publicado: (2025)

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

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

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

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

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

Formal Evidence Generation for Assurance Cases for Robotic Software Models
por: Yan, Fang, et al.
Publicado: (2026)

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

Software Self-Extension with SelfEvolve: an Agentic Architecture for Runtime Code Generation
por: Fahim, Md Asif Iqbal, et al.
Publicado: (2026)

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

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

WebSPL: A Software Product Line for Web Applications
por: da Luz, Maicon Azevedo, et al.
Publicado: (2024)

The Role of Generative AI in Software Development Productivity: A Pilot Case Study
por: Coutinho, Mariana, et al.
Publicado: (2024)

Confidence in Assurance 2.0 Cases
por: Bloomfield, Robin, et al.
Publicado: (2024)

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

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

Abstraction Engineering
por: Bencomo, Nelly, et al.
Publicado: (2024)

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

Local Features: Enhancing Variability Modeling in Software Product Lines
por: de Castro, David, et al.
Publicado: (2024)

Generalized Software Product Line Extraction
por: Bruzzone, Federico, et al.
Publicado: (2026)

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

Temporal HAL-API Dependencies as a Gateway to Formal Embedded Software Development
por: Bentele, Manuel, et al.
Publicado: (2025)

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

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

Causal Reasoning in Software Quality Assurance: A Systematic Review
por: Giamattei, Luca, et al.
Publicado: (2024)

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

Software Engineering as a Domain to Formalize
por: Meyer, Bertrand
Publicado: (2025)

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

What's DAT? Three Case Studies of Measuring Software Development Productivity at Meta With Diff Authoring Time
por: Beller, Moritz, et al.
Publicado: (2025)

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

Beyond ChatGPT: Enhancing Software Quality Assurance Tasks with Diverse LLMs and Validation Techniques
por: Widyasari, Ratnadira, et al.
Publicado: (2024)

Evolaris: A Roadmap to Self-Evolving Software Intelligence Management
por: Liu, Chengwei, et al.
Publicado: (2025)

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

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

Adapting Installation Instructions in Rapidly Evolving Software Ecosystems
por: Gao, Haoyu, et al.
Publicado: (2023)