4 papers · 1 filter
Dynasto: Validity-Aware Dynamic-Static Parameter Optimization for Autonomous Driving Testing
Dmytro Humeniuk, Mohammad Hamdaqa, Houssem Ben Braiek +2
Extensive simulation-based testing is important for assuring the safety of autonomous driving systems (ADS). However, generating safety-critical traffic scenarios remains challengi…
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…
Refactoring with LLMs: Bridging Human Expertise and Machine Understanding
Yonnel Chen Kuang Piao, Jean Carlors Paul, Leuson Da Silva +3
Code refactoring is a fundamental software engineering practice aimed at improving code quality and maintainability. Despite its importance, developers often neglect refactoring du…
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…