:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Karakaya, Kadiray, Bodden, Eric
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	https://arxiv.org/abs/2401.14813
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

IPSynth: Interprocedural Program Synthesis for Software Security Implementation
por: Shokri, Ali, et al.
Publicado: (2024)

Toward an Android Static Analysis Approach for Data Protection
por: Khedkar, Mugdha, et al.
Publicado: (2024)

FP-Predictor - False Positive Prediction for Static Analysis Reports
por: Ohlmer, Tom, et al.
Publicado: (2026)

Challenges in Android Data Disclosure: An Empirical Study
por: Khedkar, Mugdha, et al.
Publicado: (2026)

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

Visualizing Privacy-Relevant Data Flows in Android Applications
por: Khedkar, Mugdha, et al.
Publicado: (2025)

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

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

A Soundness and Precision Benchmark for Java Debloating Tools
por: Klauke, Jonas, et al.
Publicado: (2025)

From Detection to Prevention: Explaining Security-Critical Code to Avoid Vulnerabilities
por: Krishnamurthy, Ranjith, et al.
Publicado: (2026)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
por: Granberry, George, et al.
Publicado: (2025)

Static Analysis Driven Enhancements for Comprehension in Machine Learning Notebooks
por: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Publicado: (2023)

Compilation of Commit Changes within Java Source Code Repositories
por: Schott, Stefan, et al.
Publicado: (2024)

Bytecode-centric Detection of Known-to-be-vulnerable Dependencies in Java Projects
por: Schott, Stefan, et al.
Publicado: (2025)

Uncovering Hidden Inclusions of Vulnerable Dependencies in Real-World Java Projects
por: Schott, Stefan, et al.
Publicado: (2026)

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

TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
por: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Publicado: (2023)

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

Explaining Software Vulnerabilities with Large Language Models
por: Johnson, Oshando, et al.
Publicado: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
por: Yang, Fanpeng, et al.
Publicado: (2025)

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

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
por: Hennicker, Rolf, et al.
Publicado: (2024)

AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve
por: Ananda, Chaitanya Mamatha, et al.
Publicado: (2026)

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

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
por: Zhang, Liao, et al.
Publicado: (2026)

Understanding the Limits of Automated Evaluation for Code Review Bots in Practice
por: Karakaya, Veli, et al.
Publicado: (2026)

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
por: Castro, Pablo F., et al.
Publicado: (2025)

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

Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
por: Schuler, Nicolas, et al.
Publicado: (2026)

Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems
por: Guo, Hua, et al.
Publicado: (2025)

Towards a Domain-Specific Modelling Environment for Reinforcement Learning
por: Sinani, Natalie, et al.
Publicado: (2024)

Data Annotation Quality Problems in AI-Enabled Perception System Development
por: Saeeda, Hina, et al.
Publicado: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
por: Cirstea, Horatiu, et al.
Publicado: (2024)

Possible Value Analysis based on Symbolic Lattice
por: Zhan, Qi
Publicado: (2024)

Scaling Symbolic Execution to Large Software Systems
por: Horvath, Gabor, et al.
Publicado: (2024)

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
por: Brablec, Tomáš, et al.
Publicado: (2026)

Adventures in FRET and Specification
por: Farrell, Marie, et al.
Publicado: (2025)

Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
por: Granberry, George, et al.
Publicado: (2024)

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

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
por: Andresel, Medina, et al.
Publicado: (2026)