6 citations · 10 across the 3 of their papers we have counts for
8 papers · 1 filter
PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization
Mohamed Salah Bouafif, Mohammad Hamdaqa, Edward Zulkoski
Mutation testing is a widely recognized technique for assessing and enhancing the effectiveness of software test suites by introducing deliberate code mutations. However, its appli…
The Myth of Immutability: A Multivocal Review on Smart Contract Upgradeability
Ilham Qasse, Isra M. Ali, Nafisa Ahmed +2
The immutability of smart contracts on blockchain platforms like Ethereum promotes security and trustworthiness but presents challenges for updates, bug fixes, or adding new featur…
EvoChain: A Framework for Tracking and Visualizing Smart Contract Evolution
Ilham Qasse, Mohammad Hamdaqa, Björn Þór Jónsson
Tracking the evolution of smart contracts is challenging due to their immutable nature and complex upgrade mechanisms. We introduce EvoChain, a comprehensive framework and dataset…
Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability
Ilham Qasse, Mohammad Hamdaqa, Björn Þór Jónsson
Smart contracts, known for their immutable nature to ensure trust via automated enforcement, have evolved to require upgradeability due to unforeseen vulnerabilities and the need f…
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…
Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study
Ilham Qasse, Mohammad Hamdaqa, Björn Þór Jónsson
Context: Smart contracts are computerized self-executing contracts that contain clauses, which are enforced once certain conditions are met. Smart contracts are immutable by design…