7 citations · 7 across the 10 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024
PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4
Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh
The rapid progress of AI-powered programming assistants, such as GitHub Copilot, has facilitated the development of software applications. These assistants rely on large language m…
cs.SE2024
A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter
Mohamed Salah Bouafif, Chen Zheng, Ilham Ahmed Qasse +3
The surge in the adoption of smart contracts necessitates rigorous auditing to ensure their security and reliability. Manual auditing, although comprehensive, is time-consuming and…