Hamdaqa, Mohammad
- On Codex Prompt Engineering for OCL Generation: An Empirical Study
2023/03/28 by Seif Abukhalaf, Abukhalaf, Seif, Mohammad Hamdaqa +3 · 8 citations
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Scientific Computing and Data Management #Software Engineering (cs.SE) #Software Engineering Research
- iContractBot: A Chatbot for Smart Contracts' Specification and Code\n Generation
2021/03/16 by Ilham Qasse, Shailesh Mishra, Qasse, Ilham +3 · 1 citation
Business, Management and Accounting · Computer Science · Social Sciences · #Artificial Intelligence in Law #FOS: Computer and information sciences #FinTech, Crowdfunding, Digital Finance #Multi-Agent Systems and Negotiation #Software Engineering (cs.SE)
- RL Is Neither a Panacea Nor a Mirage: Understanding Supervised vs. Reinforcement Learning Fine-Tuning for LLMs
2025/08/22 by Jin, Hangzhan, Lv, Sicheng, Wu, Sifan +1 · 6 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- A Fly in the Ointment: An Empirical Study on the Characteristics of Ethereum Smart Contracts Code Weaknesses and Vulnerabilities
2022/03/28 by Majd Soud, Grischa Liebel, Soud, Majd +3 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Blockchain Technology Applications and Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4
2024/05/21 by Abukhalaf, Seif, Hamdaqa, Mohammad, Khomh, Foutse · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study
2023/04/13 by Ilham Qasse, Qasse, Ilham, Mohammad Hamdaqa +3 · 1 citation
Business, Management and Accounting · Computer Science · #Blockchain Technology Applications and Security #Digital Rights Management and Security #FOS: Computer and information sciences #FinTech, Crowdfunding, Digital Finance #Software Engineering (cs.SE)
- PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization
2025/05/08 by Mohamed Salah Bouafif, Mohammad Hamdaqa, Bouafif, Mohamed Salah +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software Engineering Techniques and Practices #Software Testing and Debugging Techniques
- RL Fine-Tuning Heals OOD Forgetting in SFT
2025/09/08 by Hangzhan Jin, Sitao Luan, Jin, Hangzhan +12 · 4 citations
Engineering · #Advancements in Photolithography Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Heat Transfer and Boiling Studies #Machine Learning (cs.LG)