:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Petzold, Jette, von Hanxleden, Reinhard
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	https://arxiv.org/abs/2404.04093
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SPViz: A DSL-Driven Approach for Software Project Visualization Tooling
por: Rentz, Niklas, et al.
Publicado: (2024)

On STPA for Distributed Development of Safe Autonomous Driving: An Interview Study
por: Nouri, Ali, et al.
Publicado: (2024)

An LLM-Integrated Framework for Completion, Management, and Tracing of STPA
por: Raeisdanaei, Ali, et al.
Publicado: (2025)

FASR: Automated Identification of Unsafe Control Actions in STPA
por: Dardik, Ian, et al.
Publicado: (2026)

UniSTPA: A Safety Analysis Framework for End-to-End Autonomous Driving
por: Kou, Hongrui, et al.
Publicado: (2025)

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

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

SafeTune: Search-based Harmfulness Minimisation for Large Language Models
por: d'Aloisio, Giordano, et al.
Publicado: (2026)

SafePlanner: Testing Safety of the Automated Driving System Plan Model
por: Kim, Dohyun, et al.
Publicado: (2026)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
por: Bedell, Sarah, et al.
Publicado: (2026)

Towards Verifiably Safe Tool Use for LLM Agents
por: Doshi, Aarya, et al.
Publicado: (2026)

MCeT: Behavioral Model Correctness Evaluation using Large Language Models
por: Ahmed, Khaled, et al.
Publicado: (2025)

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

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

Workflow for Safe-AI
por: Veljanovska, Suzana, et al.
Publicado: (2025)

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

Names Are All You Need: Effective and Safe Regression Test Selection for Python
por: Wang, You, et al.
Publicado: (2026)

Can Small GenAI Language Models Rival Large Language Models in Understanding Application Behavior?
por: Meymani, Mohammad, et al.
Publicado: (2025)

Large Language Models in Code Co-generation for Safe Autonomous Vehicles
por: Nouri, Ali, et al.
Publicado: (2025)

Same App, Different Behaviors: Uncovering Device-specific Behaviors in Android Apps
por: Dong, Zikan, et al.
Publicado: (2024)

Large Language Models Based JSON Parser Fuzzing for Bug Discovery and Behavioral Analysis
por: Zhong, Zhiyuan, et al.
Publicado: (2024)

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

Exceptional Behaviors: How Frequently Are They Tested?
por: Hora, Andre, et al.
Publicado: (2026)

Mimicking Production Behavior with Generated Mocks
por: Tiwari, Deepika, et al.
Publicado: (2022)

SafeGround: Know When to Trust GUI Grounding Models via Uncertainty Calibration
por: Wang, Qingni, et al.
Publicado: (2026)

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

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

Behavior Driven Development for 3D Games
por: Ricós, Fernando Pastor, et al.
Publicado: (2025)

Mining Service Behavior for Stateful Service Emulation
por: Hossain, Md Arafat, et al.
Publicado: (2025)

Analyzing and Evaluating the Behavior of Git Diff and Merge
por: Glodny, Niels
Publicado: (2025)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
por: Sim, HoHyun, et al.
Publicado: (2025)

Changes in Coding Behavior and Performance Since the Introduction of LLMs
por: Zhang, Yufan, et al.
Publicado: (2026)

Test Behaviors, Not Methods! Detecting Tests Obsessed by Methods
por: Hora, Andre, et al.
Publicado: (2026)

ABTest: Behavior-Driven Testing for AI Coding Agents
por: Dai, Wuyang, et al.
Publicado: (2026)

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

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
por: Yaacov, Tom, et al.
Publicado: (2024)

CodeFlow: Program Behavior Prediction with Dynamic Dependencies Learning
por: Le, Cuong Chi, et al.
Publicado: (2024)

Testora: Using Natural Language Intent to Detect Behavioral Regressions
por: Pradel, Michael
Publicado: (2025)

Beyond Accuracy: Behavioral Dynamics of Agentic Multi-Hunk Repair
por: Nashid, Noor, et al.
Publicado: (2025)

Which Code Statements Implement Privacy Behaviors in Android Applications?
por: Su, Chia-Yi, et al.
Publicado: (2025)