:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Hawkins, Richard
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2502.00911
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Assuring the Safety of Reinforcement Learning Components: AMLAS-RL
by: Imrie, Calum Corrie, et al.
Published: (2025)

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

A Structured Approach to Safety Case Construction for AI Systems
by: Lee, Sung Une, et al.
Published: (2026)

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

A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems
by: Hunter, Michael C., et al.
Published: (2025)

Safety Case Patterns for VLA-based driving systems: Insights from SimLingo
by: Yu, Gerhard, et al.
Published: (2026)

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

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

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

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

Developer Productivity With and Without GitHub Copilot: A Longitudinal Mixed-Methods Case Study
by: Stray, Viktoria, et al.
Published: (2025)

Enablers and Barriers of Empathy in Software Developer and User Interaction: A Mixed Methods Case Study
by: Gunatilake, Hashini, et al.
Published: (2024)

How Do Developers Use Migration Guides? A Case Study of Log4j
by: Monno, Takahiro, et al.
Published: (2026)

An Empirical Study of Developers' Challenges in Implementing Workflows as Code: A Case Study on Apache Airflow
by: Yasmin, Jerin, et al.
Published: (2024)

Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
by: Furia, Carlo A., et al.
Published: (2021)

Structured Safety Auditing for Balancing Code Correctness and Content Safety in LLM-Generated Code
by: Tan, Honghao, et al.
Published: (2026)

Governing the Commons: Code Ownership and Code-Clones in Large-Scale Software Development
by: Sundelin, Anders, et al.
Published: (2024)

Assessing a Safety Case: Bottom-up Guidance for Claims and Evidence Evaluation
by: Schnelle, Scott, et al.
Published: (2025)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
by: Krook, Jonas, et al.
Published: (2022)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
by: Gleirscher, Mario, et al.
Published: (2017)

Safety Factories - a Manifesto
by: Cârlan, Carmen, et al.
Published: (2025)

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

Aspect-Oriented Programming in Secure Software Development: A Case Study of Security Aspects in Web Applications
by: Ukor, Mterorga
Published: (2025)

Developing a Llama-Based Chatbot for CI/CD Question Answering: A Case Study at Ericsson
by: Chaudhary, Daksh, et al.
Published: (2024)

Knowledge-Graph-Driven Data Synthesis for Low-Resource Software Development: A HarmonyOS Case Study
by: Liu, Mingwei, et al.
Published: (2025)

Reasoning over Precedents Alongside Statutes: Case-Augmented Deliberative Alignment for LLM Safety
by: Jin, Can, et al.
Published: (2026)

Reconciling Safety Measurement and Dynamic Assurance
by: Denney, Ewen, et al.
Published: (2024)

Safety Verification and Optimization in Industrial Drive Systems
by: Hasrat, Imran Riaz, et al.
Published: (2025)

One Developer Is All You Need: A Case Study of an AI-Augmented One-Person Squad in a Brownfield Enterprise
by: Boas, Marcelo Vilas, et al.
Published: (2026)

The Case for HTML First Web Development
by: Vepsäläinen, Juho
Published: (2026)

The Open Autonomy Safety Case Framework
by: Wagner, Michael, et al.
Published: (2024)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
by: Kirchner, Sven, et al.
Published: (2025)

Causality-aware Safety Testing for Autonomous Driving Systems
by: Tang, Wenbing, et al.
Published: (2025)

Relating System Safety and Machine Learnt Model Performance
by: Pai, Ganesh
Published: (2025)

Towards Safety-Compliant Transformer Architectures for Automotive Systems
by: Kirchner, Sven, et al.
Published: (2026)

Towards an Argument Pattern for the Use of Safety Performance Indicators
by: Ratiu, Daniel, et al.
Published: (2024)

Enhancing Productivity with AI During the Development of an ISMS: Case Kempower
by: Niemeläinen, Atro, et al.
Published: (2024)

Psychological Safety Framework in Pull-based Open Source Projects
by: Sesari, Emeralda, et al.
Published: (2025)

Scalable Thread-Safety Analysis of Java Classes with CodeQL
by: Jåtten, Bjørnar Haugstad, et al.
Published: (2025)