Aidan Dakhama

dblp:362/6689 · DBLP profile ↗
← Back
10ranked-venue papers
3as first author
10since 2021 · last 2026
0009-0002-7318-7964ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 9 · 3 first-author · 9 since 2021Artificial intelligence and machine learning · 6 · 2 first-author · 6 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021
YearPublicationVenuePosition
2026 MuSEvo: Assessing the Robustness of Multilingual Summarization Metrics Through Evolutionary Adversarial Natural Language Processing-Based Attacks
Gema Bello Orgaz, Aidan Dakhama, Cristian Ramírez-Atencia, Héctor D. Menéndez 0001
ICCSA (2)2
2026 ApkFuzz : Search-Based Fuzzing for Android APK Vulnerability Discovery
Karine Even-Mendoza, Aidan Dakhama, Harel Berger
SSBSE2
2026 Fuzz3 : Entropy as a Third Oracle
Karine Even-Mendoza, Janine Obiri, Aidan Dakhama, Phil McMinn, William B. Langdon
SSBSE3
2025 GreenMalloc: Allocator Optimisation for Industrial Workloads
Aidan Dakhama, William B. Langdon, Héctor D. Menéndez 0001, Karine Even-Mendoza
SSBSE1
2025 Fuzz Smarter, Not Harder: Towards Greener Fuzzing with GreenAFL
Ayse Irmak Ercevik, Aidan Dakhama, Melane Navaratnarajah, Yazhuo Cao, Leonardo Fernandes
SSBSE2
2025 Enhancing search-based testing with LLMs for finding bugs in system simulators
abstract
Abstract Despite the wide availability of automated testing techniques such as fuzzing, little attention has been devoted to testing computer architecture simulators. We propose a fully automated approach for this task. Our approach uses large language models (LLM) to generate input programs, including information about their parameters and types, as test cases for the simulators. The LLM’s output becomes the initial seed for an existing fuzzer, , which has been enhanced with three mutation operators, targeting both the input binary program and its parameters. We implement our approach in a tool called . We use it to test the system simulator. discovered 21 new bugs in , 14 where ’s software prediction differs from the real behaviour on actual hardware, and 7 where it crashed. New defects were uncovered with each of the 6 LLMs used.
Aidan Dakhama, Karine Even-Mendoza, William B. Langdon, Héctor D. Menéndez 0001, Justyna Petke
Autom. Softw. Eng.1
2024 Responsible MLOps Design Methodology for an Auditing System for AI-Based Clinical Decision Support Systems
Pepita Barnard, John Robert Bautista, Aidan Dakhama, Arya Farahi, Kazim Laos, Anqi Liu 0001, Héctor D. Menéndez 0001
ICTSS3
2024 Automatic Summarization Evaluation: Methods and Practices
Héctor D. Menéndez 0001, Aidan Dakhama
ICTSS2
2023 StableYolo: Optimizing Image Generation for Large Language Models
Harel Berger, Aidan Dakhama, Zishuo Ding, Karine Even-Mendoza, David A. Kelly, Héctor D. Menéndez 0001, Rebecca Moussa, Federica Sarro
SSBSE2
2023 SearchGEM5: Towards Reliable Gem5 with Search Based Software Testing and Large Language Models
Aidan Dakhama, Karine Even-Mendoza, William B. Langdon, Héctor D. Menéndez 0001, Justyna Petke
SSBSE1