:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Karakaya, Kadiray, Bodden, Eric
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	https://arxiv.org/abs/2401.14813
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

IPSynth: Interprocedural Program Synthesis for Software Security Implementation
von: Shokri, Ali, et al.
Veröffentlicht: (2024)

Toward an Android Static Analysis Approach for Data Protection
von: Khedkar, Mugdha, et al.
Veröffentlicht: (2024)

FP-Predictor - False Positive Prediction for Static Analysis Reports
von: Ohlmer, Tom, et al.
Veröffentlicht: (2026)

Challenges in Android Data Disclosure: An Empirical Study
von: Khedkar, Mugdha, et al.
Veröffentlicht: (2026)

Vulnerability Detection with Interprocedural Context in Multiple Languages: Assessing Effectiveness and Cost of Modern LLMs
von: Lira, Kevin, et al.
Veröffentlicht: (2026)

Visualizing Privacy-Relevant Data Flows in Android Applications
von: Khedkar, Mugdha, et al.
Veröffentlicht: (2025)

The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks
von: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Veröffentlicht: (2024)

Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
von: Wickert, Anna-Katharina, et al.
Veröffentlicht: (2024)

A Soundness and Precision Benchmark for Java Debloating Tools
von: Klauke, Jonas, et al.
Veröffentlicht: (2025)

From Detection to Prevention: Explaining Security-Critical Code to Avoid Vulnerabilities
von: Krishnamurthy, Ranjith, et al.
Veröffentlicht: (2026)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
von: Granberry, George, et al.
Veröffentlicht: (2025)

Static Analysis Driven Enhancements for Comprehension in Machine Learning Notebooks
von: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Veröffentlicht: (2023)

Compilation of Commit Changes within Java Source Code Repositories
von: Schott, Stefan, et al.
Veröffentlicht: (2024)

Bytecode-centric Detection of Known-to-be-vulnerable Dependencies in Java Projects
von: Schott, Stefan, et al.
Veröffentlicht: (2025)

Uncovering Hidden Inclusions of Vulnerable Dependencies in Real-World Java Projects
von: Schott, Stefan, et al.
Veröffentlicht: (2026)

An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript
von: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Veröffentlicht: (2024)

TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
von: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Veröffentlicht: (2023)

Software Security Analysis in 2030 and Beyond: A Research Roadmap
von: Böhme, Marcel, et al.
Veröffentlicht: (2024)

Explaining Software Vulnerabilities with Large Language Models
von: Johnson, Oshando, et al.
Veröffentlicht: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

Evaluation of LLM-Based Software Engineering Tools: Practices, Challenges, and Future Directions
von: Torun, Utku Boran, et al.
Veröffentlicht: (2026)

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
von: Hennicker, Rolf, et al.
Veröffentlicht: (2024)

AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve
von: Ananda, Chaitanya Mamatha, et al.
Veröffentlicht: (2026)

A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
von: Meloche, Regan, et al.
Veröffentlicht: (2025)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
von: Zhang, Liao, et al.
Veröffentlicht: (2026)

Understanding the Limits of Automated Evaluation for Code Review Bots in Practice
von: Karakaya, Veli, et al.
Veröffentlicht: (2026)

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
von: Castro, Pablo F., et al.
Veröffentlicht: (2025)

WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
von: Teoh, Xiwen, et al.
Veröffentlicht: (2026)

Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
von: Schuler, Nicolas, et al.
Veröffentlicht: (2026)

Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems
von: Guo, Hua, et al.
Veröffentlicht: (2025)

Towards a Domain-Specific Modelling Environment for Reinforcement Learning
von: Sinani, Natalie, et al.
Veröffentlicht: (2024)

Data Annotation Quality Problems in AI-Enabled Perception System Development
von: Saeeda, Hina, et al.
Veröffentlicht: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
von: Cirstea, Horatiu, et al.
Veröffentlicht: (2024)

Possible Value Analysis based on Symbolic Lattice
von: Zhan, Qi
Veröffentlicht: (2024)

Scaling Symbolic Execution to Large Software Systems
von: Horvath, Gabor, et al.
Veröffentlicht: (2024)

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
von: Brablec, Tomáš, et al.
Veröffentlicht: (2026)

Adventures in FRET and Specification
von: Farrell, Marie, et al.
Veröffentlicht: (2025)

Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
von: Granberry, George, et al.
Veröffentlicht: (2024)

Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility
von: Hong, Yining, et al.
Veröffentlicht: (2026)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
von: Andresel, Medina, et al.
Veröffentlicht: (2026)