:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Effendi, Sedick David Baker, Pinho, Xavier, Dreyer, Andrei Michael, Yamaguchi, Fabian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering D.2.4
Online-Zugang:	https://arxiv.org/abs/2506.06247
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Analyzing Logs of Large-Scale Software Systems using Time Curves Visualization
von: Borysenkov, Dmytro, et al.
Veröffentlicht: (2024)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
von: Susan, Ştefan-Claudiu, et al.
Veröffentlicht: (2025)

Safeguarding DeFi Smart Contracts against Oracle Deviations
von: Deng, Xun, et al.
Veröffentlicht: (2024)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
von: Bai, Yubo, et al.
Veröffentlicht: (2025)

Adaptive Proof Refinement with LLM-Guided Strategy Selection
von: Lu, Minghai, et al.
Veröffentlicht: (2025)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
von: Yoon, Gangho, et al.
Veröffentlicht: (2025)

Rethinking Software Empirical Studies with Structural Causal Models
von: Rodriguez-Cardenas, Daniel, et al.
Veröffentlicht: (2026)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
von: Yu, Boxi, et al.
Veröffentlicht: (2026)

Combined Program Analysis Techniques: A Systematic Mapping Study
von: Braione, Pietro, et al.
Veröffentlicht: (2026)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
von: McCormack, Ian, et al.
Veröffentlicht: (2024)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
von: Sharmin, Shaila, et al.
Veröffentlicht: (2025)

From Separate Compilation to Sound Language Composition
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Ownership in low-level intermediate representation
von: Priya, Siddharth, et al.
Veröffentlicht: (2024)

A Short Survey on Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Towards Comprehensive Sampling of SMT Solutions
von: Lyu, Shuangyu, et al.
Veröffentlicht: (2025)

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
von: Bandyopadhyay, Soumyadip, et al.
Veröffentlicht: (2025)

Docker-based CI/CD for Rocq/OCaml projects
von: Martin-Dorel, Érik
Veröffentlicht: (2025)

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
von: Amusuo, Paschal C., et al.
Veröffentlicht: (2025)

QuickCheck for VDM
von: Battle, Nick, et al.
Veröffentlicht: (2024)

Resilient Microservices: A Systematic Review of Recovery Patterns, Strategies, and Evaluation Frameworks
von: Mohammad, Muzeeb
Veröffentlicht: (2025)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
von: Amusuo, Paschal C., et al.
Veröffentlicht: (2024)

MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems
von: Pombo, Carlos G. Lopez, et al.
Veröffentlicht: (2023)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
von: Helbling, Caleb, et al.
Veröffentlicht: (2026)

Designing Scalable Rate Limiting Systems: Algorithms, Architecture, and Distributed Solutions
von: Guan, Bo
Veröffentlicht: (2026)

AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
von: Guo, Dongxin, et al.
Veröffentlicht: (2026)

Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
von: Yusuf, Hadiza Umar, et al.
Veröffentlicht: (2025)

Evaluating Cryptographic API Misuse Detectors for Go
von: Andersson, Vivi, et al.
Veröffentlicht: (2026)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
von: Lucio, Levi
Veröffentlicht: (2026)

A History Equivalence Algorithm for Dynamic Process Migration
von: Bakshi, Gargi, et al.
Veröffentlicht: (2024)

Validating Formal Specifications with LLM-generated Test Cases
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
von: Licorish, Sherlock A., et al.
Veröffentlicht: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
von: Garcia, Rémi, et al.
Veröffentlicht: (2024)

Model checking of hyperproperties for high-level relational models
von: Macedo, Nuno, et al.
Veröffentlicht: (2025)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
von: Kiashemshaki, Kiana, et al.
Veröffentlicht: (2025)

Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
von: Churilov, Aleksandr
Veröffentlicht: (2026)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
von: Raedler, Simon, et al.
Veröffentlicht: (2023)

Understanding and Reusing Test Suites Across Database Systems
von: Zhong, Suyang, et al.
Veröffentlicht: (2024)

FedCSD: A Federated Learning Based Approach for Code-Smell Detection
von: Alawadi, Sadi, et al.
Veröffentlicht: (2023)