Saved in:
| Main Authors: | Petzold, Jette, von Hanxleden, Reinhard |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2404.04093 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
SPViz: A DSL-Driven Approach for Software Project Visualization Tooling
by: Rentz, Niklas, et al.
Published: (2024)
by: Rentz, Niklas, et al.
Published: (2024)
On STPA for Distributed Development of Safe Autonomous Driving: An Interview Study
by: Nouri, Ali, et al.
Published: (2024)
by: Nouri, Ali, et al.
Published: (2024)
An LLM-Integrated Framework for Completion, Management, and Tracing of STPA
by: Raeisdanaei, Ali, et al.
Published: (2025)
by: Raeisdanaei, Ali, et al.
Published: (2025)
FASR: Automated Identification of Unsafe Control Actions in STPA
by: Dardik, Ian, et al.
Published: (2026)
by: Dardik, Ian, et al.
Published: (2026)
UniSTPA: A Safety Analysis Framework for End-to-End Autonomous Driving
by: Kou, Hongrui, et al.
Published: (2025)
by: Kou, Hongrui, et al.
Published: (2025)
A Scalable Framework for the Management of STPA Requirements: a Case Study on eVTOL Operations
by: Chen, Shufeng, et al.
Published: (2025)
by: Chen, Shufeng, et al.
Published: (2025)
Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT
by: Qi, Yi, et al.
Published: (2023)
by: Qi, Yi, et al.
Published: (2023)
SafeTune: Search-based Harmfulness Minimisation for Large Language Models
by: d'Aloisio, Giordano, et al.
Published: (2026)
by: d'Aloisio, Giordano, et al.
Published: (2026)
SafePlanner: Testing Safety of the Automated Driving System Plan Model
by: Kim, Dohyun, et al.
Published: (2026)
by: Kim, Dohyun, et al.
Published: (2026)
LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
by: Bedell, Sarah, et al.
Published: (2026)
by: Bedell, Sarah, et al.
Published: (2026)
Towards Verifiably Safe Tool Use for LLM Agents
by: Doshi, Aarya, et al.
Published: (2026)
by: Doshi, Aarya, et al.
Published: (2026)
MCeT: Behavioral Model Correctness Evaluation using Large Language Models
by: Ahmed, Khaled, et al.
Published: (2025)
by: Ahmed, Khaled, et al.
Published: (2025)
The DevSafeOps Dilemma: A Systematic Literature Review on Rapidity in Safe Autonomous Driving Development and Operation
by: Nouri, Ali, et al.
Published: (2025)
by: Nouri, Ali, et al.
Published: (2025)
Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
by: Lin, Peisen, et al.
Published: (2024)
by: Lin, Peisen, et al.
Published: (2024)
Workflow for Safe-AI
by: Veljanovska, Suzana, et al.
Published: (2025)
by: Veljanovska, Suzana, et al.
Published: (2025)
Is It Safe To Learn And Share? On Psychological Safety and Social Learning in (Agile) Communities of Practice
by: Verwijs, Christiaan, et al.
Published: (2025)
by: Verwijs, Christiaan, et al.
Published: (2025)
Names Are All You Need: Effective and Safe Regression Test Selection for Python
by: Wang, You, et al.
Published: (2026)
by: Wang, You, et al.
Published: (2026)
Can Small GenAI Language Models Rival Large Language Models in Understanding Application Behavior?
by: Meymani, Mohammad, et al.
Published: (2025)
by: Meymani, Mohammad, et al.
Published: (2025)
Large Language Models in Code Co-generation for Safe Autonomous Vehicles
by: Nouri, Ali, et al.
Published: (2025)
by: Nouri, Ali, et al.
Published: (2025)
Same App, Different Behaviors: Uncovering Device-specific Behaviors in Android Apps
by: Dong, Zikan, et al.
Published: (2024)
by: Dong, Zikan, et al.
Published: (2024)
Large Language Models Based JSON Parser Fuzzing for Bug Discovery and Behavioral Analysis
by: Zhong, Zhiyuan, et al.
Published: (2024)
by: Zhong, Zhiyuan, et al.
Published: (2024)
SafePyScript: A Web-Based Solution for Machine Learning-Driven Vulnerability Detection in Python
by: Farasat, Talaya, et al.
Published: (2024)
by: Farasat, Talaya, et al.
Published: (2024)
Exceptional Behaviors: How Frequently Are They Tested?
by: Hora, Andre, et al.
Published: (2026)
by: Hora, Andre, et al.
Published: (2026)
Mimicking Production Behavior with Generated Mocks
by: Tiwari, Deepika, et al.
Published: (2022)
by: Tiwari, Deepika, et al.
Published: (2022)
SafeGround: Know When to Trust GUI Grounding Models via Uncertainty Calibration
by: Wang, Qingni, et al.
Published: (2026)
by: Wang, Qingni, et al.
Published: (2026)
Beyond Binary Moderation: Identifying Fine-Grained Sexist and Misogynistic Behavior on GitHub with Large Language Models
by: Dev, Tanni, et al.
Published: (2025)
by: Dev, Tanni, et al.
Published: (2025)
PATCH: Empowering Large Language Model with Programmer-Intent Guidance and Collaborative-Behavior Simulation for Automatic Bug Fixing
by: Zhang, Yuwei, et al.
Published: (2025)
by: Zhang, Yuwei, et al.
Published: (2025)
Behavior Driven Development for 3D Games
by: Ricós, Fernando Pastor, et al.
Published: (2025)
by: Ricós, Fernando Pastor, et al.
Published: (2025)
Mining Service Behavior for Stateful Service Emulation
by: Hossain, Md Arafat, et al.
Published: (2025)
by: Hossain, Md Arafat, et al.
Published: (2025)
Analyzing and Evaluating the Behavior of Git Diff and Merge
by: Glodny, Niels
Published: (2025)
by: Glodny, Niels
Published: (2025)
Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
by: Sim, HoHyun, et al.
Published: (2025)
by: Sim, HoHyun, et al.
Published: (2025)
Changes in Coding Behavior and Performance Since the Introduction of LLMs
by: Zhang, Yufan, et al.
Published: (2026)
by: Zhang, Yufan, et al.
Published: (2026)
Test Behaviors, Not Methods! Detecting Tests Obsessed by Methods
by: Hora, Andre, et al.
Published: (2026)
by: Hora, Andre, et al.
Published: (2026)
ABTest: Behavior-Driven Testing for AI Coding Agents
by: Dai, Wuyang, et al.
Published: (2026)
by: Dai, Wuyang, et al.
Published: (2026)
Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models
by: Yang, Guang, et al.
Published: (2023)
by: Yang, Guang, et al.
Published: (2023)
Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
by: Yaacov, Tom, et al.
Published: (2024)
by: Yaacov, Tom, et al.
Published: (2024)
CodeFlow: Program Behavior Prediction with Dynamic Dependencies Learning
by: Le, Cuong Chi, et al.
Published: (2024)
by: Le, Cuong Chi, et al.
Published: (2024)
Testora: Using Natural Language Intent to Detect Behavioral Regressions
by: Pradel, Michael
Published: (2025)
by: Pradel, Michael
Published: (2025)
Beyond Accuracy: Behavioral Dynamics of Agentic Multi-Hunk Repair
by: Nashid, Noor, et al.
Published: (2025)
by: Nashid, Noor, et al.
Published: (2025)
Which Code Statements Implement Privacy Behaviors in Android Applications?
by: Su, Chia-Yi, et al.
Published: (2025)
by: Su, Chia-Yi, et al.
Published: (2025)
Similar Items
-
SPViz: A DSL-Driven Approach for Software Project Visualization Tooling
by: Rentz, Niklas, et al.
Published: (2024) -
On STPA for Distributed Development of Safe Autonomous Driving: An Interview Study
by: Nouri, Ali, et al.
Published: (2024) -
An LLM-Integrated Framework for Completion, Management, and Tracing of STPA
by: Raeisdanaei, Ali, et al.
Published: (2025) -
FASR: Automated Identification of Unsafe Control Actions in STPA
by: Dardik, Ian, et al.
Published: (2026) -
UniSTPA: A Safety Analysis Framework for End-to-End Autonomous Driving
by: Kou, Hongrui, et al.
Published: (2025)