Cover Image

PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abukhalaf, Seif, Hamdaqa, Mohammad, Khomh, Foutse
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Efficient Test Data Generation for MC/DC with OCL and Search
by: Sartaj, Hassan, et al.
Published: (2024)

Refactoring with LLMs: Bridging Human Expertise and Machine Understanding
by: Piao, Yonnel Chen Kuang, et al.
Published: (2025)

RefAgent: A Multi-agent LLM-based Framework for Automatic Software Refactoring
by: Oueslati, Khouloud, et al.
Published: (2025)

Prism: Dynamic and Flexible Benchmarking of LLMs Code Generation with Monte Carlo Tree Search
by: Majdinasab, Vahid, et al.
Published: (2025)

LLMs and Stack Overflow Discussions: Reliability, Impact, and Challenges
by: Da Silva, Leuson, et al.
Published: (2024)

What Information Contributes to Log-based Anomaly Detection? Insights from a Configurable Transformer-Based Approach
by: Wu, Xingfang, et al.
Published: (2024)

Machine Learning Robustness: A Primer
by: Braiek, Houssem Ben, et al.
Published: (2024)

A Survey of Bugs in AI-Generated Code
by: Gao, Ruofan, et al.
Published: (2025)

ReCatcher: Towards LLMs Regression Testing for Code Generation
by: Abbassi, Altaf Allah, et al.
Published: (2025)

Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
by: Ngassom, Sylvain Kouemo, et al.
Published: (2024)

TaskEval: Assessing Difficulty of Code Generation Tasks for Large Language Models
by: Tambon, Florian, et al.
Published: (2024)

Imitation Game: Reproducing Deep Learning Bugs Leveraging an Intelligent Agent
by: Shah, Mehil B, et al.
Published: (2025)

SDLog: A Deep Learning Framework for Detecting Sensitive Information in Software Logs
by: Aghili, Roozbeh, et al.
Published: (2025)

B-OCL: An Object Constraint Language Interpreter in Python
by: Haq, Fitash Ul, et al.
Published: (2025)

Exploring Security Practices in Infrastructure as Code: An Empirical Study
by: Verdet, Alexandre, et al.
Published: (2023)

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter
by: Bouafif, Mohamed Salah, et al.
Published: (2024)

Dynasto: Validity-Aware Dynamic-Static Parameter Optimization for Autonomous Driving Testing
by: Humeniuk, Dmytro, et al.
Published: (2026)

Bugs in Large Language Models Generated Code: An Empirical Study
by: Tambon, Florian, et al.
Published: (2024)

From OCL to JSX: declarative constraint modeling in modern SaaS tools
by: Bucchiarone, Antonio, et al.
Published: (2025)

Evaluating and Enhancing Segmentation Model Robustness with Metamorphic Testing
by: Mzoughi, Seif, et al.
Published: (2025)

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
by: Parkash, Om, et al.
Published: (2026)

CCCI: Code Completion with Contextual Information for Complex Data Transfer Tasks Using Large Language Models
by: Jin, Hangzhan, et al.
Published: (2025)

P4OMP: Retrieval-Augmented Prompting for OpenMP Parallelism in Serial Code
by: Abdullah, Wali Mohammad, et al.
Published: (2025)

Benchmarking Prompt Engineering Techniques for Secure Code Generation with GPT Models
by: Bruni, Marc, et al.
Published: (2025)

DeepCodeProbe: Towards Understanding What Models Trained on Code Learn
by: Majdinasab, Vahid, et al.
Published: (2024)

Smells-sus: Sustainability Smells in IaC
by: Kosbar, Seif, et al.
Published: (2025)

Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language Models
by: Liao, Dianshu, et al.
Published: (2025)

RAG4Tickets: AI-Powered Ticket Resolution via Retrieval-Augmented Generation on JIRA and GitHub Data
by: Baqar, Mohammad
Published: (2025)

Real Faults in Model Context Protocol (MCP) Software: a Comprehensive Taxonomy
by: Taraghi, Mina, et al.
Published: (2026)

On Fixing Insecure AI-Generated Code through Model Fine-Tuning and Prompting Strategies
by: Jahromi, Ali Soltanian Fard, et al.
Published: (2026)

Toward Debugging Deep Reinforcement Learning Programs with RLExplorer
by: Bouchoucha, Rached, et al.
Published: (2024)

AI Advocate: Educational Path to Transform Squads to the Future
by: Soares, Carla, et al.
Published: (2026)

Leveraging GPT-4 for Vulnerability-Witnessing Unit Test Generation
by: Antal, Gábor, et al.
Published: (2025)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
by: Liu, Ye, et al.
Published: (2024)

Do Prompt Patterns Affect Code Quality? A First Empirical Assessment of ChatGPT-Generated Code
by: Della Porta, Antonio, et al.
Published: (2025)

Leveraging Data Characteristics for Bug Localization in Deep Learning Programs
by: Manke, Ruchira, et al.
Published: (2024)

Towards Understanding the Impact of Data Bugs on Deep Learning Models in Software Engineering
by: Shah, Mehil B, et al.
Published: (2024)

Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning
by: Manke, Ruchira, et al.
Published: (2025)

Repository-Aware File Path Retrieval via Fine-Tuned LLMs
by: Yanuganti, Vasudha, et al.
Published: (2025)

RAG-MCP: Mitigating Prompt Bloat in LLM Tool Selection via Retrieval-Augmented Generation
by: Gan, Tiantian, et al.
Published: (2025)