Program Slicing in the Era of Large Language Models
Fuente:
arXiv
Saved in:
| Main Authors: | Shahandashti, Kimya Khakzad, Mohajer, Mohammad Mahdi, Belle, Alvine Boaye, Wang, Song, Hemmati, Hadi |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
by: Odu, Oluwafemi, et al.
Published: (2024)
by: Odu, Oluwafemi, et al.
Published: (2024)
A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights
by: Zeng, Zhili, et al.
Published: (2025)
by: Zeng, Zhili, et al.
Published: (2025)
Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024)
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024)
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
by: Sivakumar, Mithila, et al.
Published: (2024)
by: Sivakumar, Mithila, et al.
Published: (2024)
Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
by: Odu, Oluwafemi, et al.
Published: (2024)
by: Odu, Oluwafemi, et al.
Published: (2024)
Biases in gendered citation practices: an exploratory study and some reflections on the Matthew and Matilda effects
by: Tchilinguirova, Karolina, et al.
Published: (2024)
by: Tchilinguirova, Karolina, et al.
Published: (2024)
Safety Case Patterns for VLA-based driving systems: Insights from SimLingo
by: Yu, Gerhard, et al.
Published: (2026)
by: Yu, Gerhard, et al.
Published: (2026)
RGFL: Reasoning Guided Fault Localization for Automated Program Repair Using Large Language Models
by: Sepidband, Melika, et al.
Published: (2026)
by: Sepidband, Melika, et al.
Published: (2026)
A Survey on Query-based API Recommendation
by: Wei, Moshi, et al.
Published: (2023)
by: Wei, Moshi, et al.
Published: (2023)
Consistency Meets Verification: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions
by: Taherkhani, Hamed, et al.
Published: (2026)
by: Taherkhani, Hamed, et al.
Published: (2026)
LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases
by: Yu, Gerhard, et al.
Published: (2025)
by: Yu, Gerhard, et al.
Published: (2025)
FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair
by: Fatima, Sakina, et al.
Published: (2023)
by: Fatima, Sakina, et al.
Published: (2023)
SWE-Bench+: Enhanced Coding Benchmark for LLMs
by: Aleithan, Reem, et al.
Published: (2024)
by: Aleithan, Reem, et al.
Published: (2024)
Domain Adaptation for Code Model-based Unit Test Case Generation
by: Shin, Jiho, et al.
Published: (2023)
by: Shin, Jiho, et al.
Published: (2023)
Automated Repair of C Programs Using Large Language Models
by: Farzandway, Mahdi, et al.
Published: (2025)
by: Farzandway, Mahdi, et al.
Published: (2025)
On the Role of Fault Localization Context for LLM-Based Program Repair
by: Sepidband, Melika, et al.
Published: (2026)
by: Sepidband, Melika, et al.
Published: (2026)
Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models
by: Yang, Aidan Z. H., et al.
Published: (2024)
by: Yang, Aidan Z. H., et al.
Published: (2024)
Practical Program Repair in the Era of Large Pre-trained Language Models
by: Xia, Chunqiu Steven, et al.
Published: (2022)
by: Xia, Chunqiu Steven, et al.
Published: (2022)
Demystifying Errors in LLM Reasoning Traces: An Empirical Study of Code Execution Simulation
by: Abdollahi, Mohammad, et al.
Published: (2025)
by: Abdollahi, Mohammad, et al.
Published: (2025)
Enhancing LLM-Based Code Generation with Complexity Metrics: A Feedback-Driven Approach
by: Sepidband, Melika, et al.
Published: (2025)
by: Sepidband, Melika, et al.
Published: (2025)
Assessing Evaluation Metrics for Neural Test Oracle Generation
by: Shin, Jiho, et al.
Published: (2023)
by: Shin, Jiho, et al.
Published: (2023)
SmartGSN: an online tool to semi-automatically manage assurance cases
by: Odu, Oluwafemi, et al.
Published: (2024)
by: Odu, Oluwafemi, et al.
Published: (2024)
Prompt Engineering or Fine-Tuning: An Empirical Assessment of LLMs for Code
by: Shin, Jiho, et al.
Published: (2023)
by: Shin, Jiho, et al.
Published: (2023)
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
by: He, Pengfei, et al.
Published: (2025)
by: He, Pengfei, et al.
Published: (2025)
T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble
by: Gharibi, Reza, et al.
Published: (2023)
by: Gharibi, Reza, et al.
Published: (2023)
Hybrid Concolic Testing with Large Language Models for Guided Path Exploration
by: Eslamimehr, Mahdi
Published: (2026)
by: Eslamimehr, Mahdi
Published: (2026)
Retrieval-Augmented Test Generation: How Far Are We?
by: Shin, Jiho, et al.
Published: (2024)
by: Shin, Jiho, et al.
Published: (2024)
Can ChatGPT Support Developers? An Empirical Evaluation of Large Language Models for Code Generation
by: Jin, Kailun, et al.
Published: (2024)
by: Jin, Kailun, et al.
Published: (2024)
A Systematic Mapping Study of Crowd Knowledge Enhanced Software Engineering Research Using Stack Overflow
by: Tanzil, Minaoar, et al.
Published: (2024)
by: Tanzil, Minaoar, et al.
Published: (2024)
An Empirical Study on Bug Severity Estimation using Source Code Metrics and Static Analysis
by: Mashhadi, Ehsan, et al.
Published: (2022)
by: Mashhadi, Ehsan, et al.
Published: (2022)
The Current Challenges of Software Engineering in the Era of Large Language Models
by: Gao, Cuiyun, et al.
Published: (2024)
by: Gao, Cuiyun, et al.
Published: (2024)
Checker Bug Detection and Repair in Deep Learning Libraries
by: Harzevili, Nima Shiri, et al.
Published: (2024)
by: Harzevili, Nima Shiri, et al.
Published: (2024)
StepGrade: Grading Programming Assignments with Context-Aware LLMs
by: Akyash, Mohammad, et al.
Published: (2025)
by: Akyash, Mohammad, et al.
Published: (2025)
A Survey of AIOps for Failure Management in the Era of Large Language Models
by: Zhang, Lingzhe, et al.
Published: (2024)
by: Zhang, Lingzhe, et al.
Published: (2024)
Revisiting Sentiment Analysis for Software Engineering in the Era of Large Language Models
by: Zhang, Ting, et al.
Published: (2023)
by: Zhang, Ting, et al.
Published: (2023)
MultiMend: Multilingual Program Repair with Context Augmentation and Multi-Hunk Patch Generation
by: Gharibi, Reza, et al.
Published: (2025)
by: Gharibi, Reza, et al.
Published: (2025)
Can Large Language Models Model Programs Formally?
by: Chen, Zhiyong, et al.
Published: (2026)
by: Chen, Zhiyong, et al.
Published: (2026)
Toward Automated Validation of Language Model Synthesized Test Cases using Semantic Entropy
by: Taherkhani, Hamed, et al.
Published: (2024)
by: Taherkhani, Hamed, et al.
Published: (2024)
SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
by: Chang, Jianming, et al.
Published: (2025)
by: Chang, Jianming, et al.
Published: (2025)
A Multi-Language Object-Oriented Programming Benchmark for Large Language Models
by: Wang, Shuai, et al.
Published: (2025)
by: Wang, Shuai, et al.
Published: (2025)
Similar Items
-
A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
by: Odu, Oluwafemi, et al.
Published: (2024) -
A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights
by: Zeng, Zhili, et al.
Published: (2025) -
Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024) -
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems
by: Sivakumar, Mithila, et al.
Published: (2024) -
Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
by: Odu, Oluwafemi, et al.
Published: (2024)