Buchumschlag

From STPA to Safe Behavior Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Petzold, Jette, von Hanxleden, Reinhard
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SPViz: A DSL-Driven Approach for Software Project Visualization Tooling
von: Rentz, Niklas, et al.
Veröffentlicht: (2024)

On STPA for Distributed Development of Safe Autonomous Driving: An Interview Study
von: Nouri, Ali, et al.
Veröffentlicht: (2024)

An LLM-Integrated Framework for Completion, Management, and Tracing of STPA
von: Raeisdanaei, Ali, et al.
Veröffentlicht: (2025)

FASR: Automated Identification of Unsafe Control Actions in STPA
von: Dardik, Ian, et al.
Veröffentlicht: (2026)

A Scalable Framework for the Management of STPA Requirements: a Case Study on eVTOL Operations
von: Chen, Shufeng, et al.
Veröffentlicht: (2025)

UniSTPA: A Safety Analysis Framework for End-to-End Autonomous Driving
von: Kou, Hongrui, et al.
Veröffentlicht: (2025)

Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT
von: Qi, Yi, et al.
Veröffentlicht: (2023)

SafeTune: Search-based Harmfulness Minimisation for Large Language Models
von: d'Aloisio, Giordano, et al.
Veröffentlicht: (2026)

SafePlanner: Testing Safety of the Automated Driving System Plan Model
von: Kim, Dohyun, et al.
Veröffentlicht: (2026)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
von: Bedell, Sarah, et al.
Veröffentlicht: (2026)

MCeT: Behavioral Model Correctness Evaluation using Large Language Models
von: Ahmed, Khaled, et al.
Veröffentlicht: (2025)

Towards Verifiably Safe Tool Use for LLM Agents
von: Doshi, Aarya, et al.
Veröffentlicht: (2026)

Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
von: Lin, Peisen, et al.
Veröffentlicht: (2024)

The DevSafeOps Dilemma: A Systematic Literature Review on Rapidity in Safe Autonomous Driving Development and Operation
von: Nouri, Ali, et al.
Veröffentlicht: (2025)

Is It Safe To Learn And Share? On Psychological Safety and Social Learning in (Agile) Communities of Practice
von: Verwijs, Christiaan, et al.
Veröffentlicht: (2025)

Names Are All You Need: Effective and Safe Regression Test Selection for Python
von: Wang, You, et al.
Veröffentlicht: (2026)

Can Small GenAI Language Models Rival Large Language Models in Understanding Application Behavior?
von: Meymani, Mohammad, et al.
Veröffentlicht: (2025)

Same App, Different Behaviors: Uncovering Device-specific Behaviors in Android Apps
von: Dong, Zikan, et al.
Veröffentlicht: (2024)

Large Language Models Based JSON Parser Fuzzing for Bug Discovery and Behavioral Analysis
von: Zhong, Zhiyuan, et al.
Veröffentlicht: (2024)

Workflow for Safe-AI
von: Veljanovska, Suzana, et al.
Veröffentlicht: (2025)

Large Language Models in Code Co-generation for Safe Autonomous Vehicles
von: Nouri, Ali, et al.
Veröffentlicht: (2025)

SafePyScript: A Web-Based Solution for Machine Learning-Driven Vulnerability Detection in Python
von: Farasat, Talaya, et al.
Veröffentlicht: (2024)

Exceptional Behaviors: How Frequently Are They Tested?
von: Hora, Andre, et al.
Veröffentlicht: (2026)

Mimicking Production Behavior with Generated Mocks
von: Tiwari, Deepika, et al.
Veröffentlicht: (2022)

Beyond Binary Moderation: Identifying Fine-Grained Sexist and Misogynistic Behavior on GitHub with Large Language Models
von: Dev, Tanni, et al.
Veröffentlicht: (2025)

PATCH: Empowering Large Language Model with Programmer-Intent Guidance and Collaborative-Behavior Simulation for Automatic Bug Fixing
von: Zhang, Yuwei, et al.
Veröffentlicht: (2025)

Behavior Driven Development for 3D Games
von: Ricós, Fernando Pastor, et al.
Veröffentlicht: (2025)

Mining Service Behavior for Stateful Service Emulation
von: Hossain, Md Arafat, et al.
Veröffentlicht: (2025)

Analyzing and Evaluating the Behavior of Git Diff and Merge
von: Glodny, Niels
Veröffentlicht: (2025)

SafeGround: Know When to Trust GUI Grounding Models via Uncertainty Calibration
von: Wang, Qingni, et al.
Veröffentlicht: (2026)

Changes in Coding Behavior and Performance Since the Introduction of LLMs
von: Zhang, Yufan, et al.
Veröffentlicht: (2026)

Test Behaviors, Not Methods! Detecting Tests Obsessed by Methods
von: Hora, Andre, et al.
Veröffentlicht: (2026)

ABTest: Behavior-Driven Testing for AI Coding Agents
von: Dai, Wuyang, et al.
Veröffentlicht: (2026)

Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models
von: Yang, Guang, et al.
Veröffentlicht: (2023)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
von: Yaacov, Tom, et al.
Veröffentlicht: (2024)

CodeFlow: Program Behavior Prediction with Dynamic Dependencies Learning
von: Le, Cuong Chi, et al.
Veröffentlicht: (2024)

Testora: Using Natural Language Intent to Detect Behavioral Regressions
von: Pradel, Michael
Veröffentlicht: (2025)

Beyond Accuracy: Behavioral Dynamics of Agentic Multi-Hunk Repair
von: Nashid, Noor, et al.
Veröffentlicht: (2025)

Which Code Statements Implement Privacy Behaviors in Android Applications?
von: Su, Chia-Yi, et al.
Veröffentlicht: (2025)

NRevisit: A Cognitive Behavioral Metric for Code Understandability Assessment
von: Hao, Gao, et al.
Veröffentlicht: (2025)