:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Haltermanna, Jan, Jakobs, Marie-Christine, Richter, Cedric, Wehrheim, Heike
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2402.11938
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
by: Richter, Cedric, et al.
Published: (2025)

Can ChatGPT support software verification?
by: Janßen, Christian, et al.
Published: (2023)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
by: Barth, Max, et al.
Published: (2025)

PathFix: Automated Program Repair with Expected Path
by: He, Xu, et al.
Published: (2025)

Scalable Deductive Verification of Data-Level Parallel Programs
by: Haak, Lars B. van den, et al.
Published: (2026)

Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation
by: Wei, Chao, et al.
Published: (2026)

Combining Static Analysis Techniques for Program Comprehension Using Slicito
by: Husák, Robert, et al.
Published: (2025)

Program Decomposition and Translation with Static Analysis
by: Ibrahimzada, Ali Reza
Published: (2024)

Overwhelmed software developers: An Interpretative Phenomenological Analysis
by: Michels, Lisa-Marie, et al.
Published: (2024)

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
by: Li, Fengjie, et al.
Published: (2024)

Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries
by: Wang, Yongchao, et al.
Published: (2025)

Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs
by: Fortunato, Daniel, et al.
Published: (2026)

Retrograde Program Analysis: A Practical Tutorial
by: Perisic, Aleksandar
Published: (2010)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
by: Wen, Cheng, et al.
Published: (2024)

Exploring the Garden of Forking Paths in Empirical Software Engineering Research: A Multiverse Analysis
by: Cassee, Nathan, et al.
Published: (2025)

Qualitative Analysis of the Teacher and Student Roles in Pair Programming
by: Ververs, Linus, et al.
Published: (2025)

Robust Mutation Analysis of Quantum Programs Under Noise
by: Fortz, Sophie, et al.
Published: (2026)

GPU-Accelerated Loopy Belief Propagation for Program Analysis
by: Feng, Haoyu, et al.
Published: (2025)

User Reviews as a Source for Usability Requirements: A Precursor Study on Using Large Language Models
by: Wellhausen, Cedric, et al.
Published: (2026)

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis
by: Du, Xueying, et al.
Published: (2025)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
by: Yan, Yanyan, et al.
Published: (2026)

Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks
by: Liu, Zhongxin, et al.
Published: (2024)

Program Analysis Guided LLM Agent for Proof-of-Concept Generation
by: Desai, Achintya, et al.
Published: (2026)

Leveraging Mutation Analysis for LLM-based Repair of Quantum Programs
by: Yoshida, Chihiro, et al.
Published: (2026)

PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths
by: Chen, Zimu, et al.
Published: (2025)

Mind the GAPS: Bridging the GAPS between Targeted Dynamic Analysis and Static Path Reconstruction in Android Apps
by: Doria, Samuele, et al.
Published: (2025)

Clearing the Path for Software Sustainability
by: Gross, Jennifer, et al.
Published: (2024)

Efficient Prime Paths Generation
by: Zelek, Jakub, et al.
Published: (2026)

Semantic Grounding of Digital Twin Metamodels Using RDF Graphs
by: Abbasi, Faima, et al.
Published: (2025)

Advancing Code Coverage: Incorporating Program Analysis with Large Language Models
by: Yang, Chen, et al.
Published: (2024)

Parse Tree Tracking Through Time for Programming Process Analysis at Scale
by: Rau, Matt, et al.
Published: (2025)

HALF: Hollowing Analysis Framework for Binary Programs with Kernel Module Assistance
by: Long, Zhangbo, et al.
Published: (2025)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
by: Antoniadis, Anastasios, et al.
Published: (2025)

Hypothesize-Then-Verify: Speculative Root Cause Analysis for Microservices with Pathwise Parallelism
by: Zhang, Lingzhe, et al.
Published: (2026)

Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights
by: Krishna, Rahul, et al.
Published: (2024)

Programming Language Co-Usage Patterns on Stack Overflow: Analysis of the Developer Ecosystem
by: Ghimire, Bachan, et al.
Published: (2026)

PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
by: Chu, Bei, et al.
Published: (2025)

Cracking the Code: Evaluating Zero-Shot Prompting Methods for Providing Programming Feedback
by: Ippisch, Niklas, et al.
Published: (2024)

Model-based Development for Autonomous Driving Software Considering Parallelization
by: Obi, Kenshin, et al.
Published: (2025)

ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation
by: Jiang, Xue, et al.
Published: (2024)