Dakhama, Aidan;
Even-Mendoza, Karine;
Langdon, William B;
Menendez, Hector;
Petke, Justyna;
(2023)
SearchGEM5: Towards Reliable gem5 with Search Based Software Testing and Large Language Models.
In:
Search-Based Software Engineering. SSBSE 2023.
Springer
Preview |
Text
main.pdf - Accepted Version Download (358kB) | Preview |
Abstract
We introduce a novel automated testing technique that combines LLM and search-based fuzzing. We use ChatGPT to parameterise C programs. We compile the resultant code snippets, and feed compilable ones to SearchGEM5, our extension to AFL++ fuzzer with customised new mutation operators. We run thus created 4005 binaries through our system under test, gem5, increasing its existing test coverage by more than 1000 lines. We discover 244 instances where gem5 simulation of the binary differs from the binary’s expected behaviour.
| Type: | Proceedings paper |
|---|---|
| Title: | SearchGEM5: Towards Reliable gem5 with Search Based Software Testing and Large Language Models |
| Event: | SSBSE 2023: Search-Based Software Engineering. 15th International Symposium |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-031-48796-5_14 |
| Publisher version: | https://doi.org/10.1007/978-3-031-48796-5_14 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. - For the purpose of open access, the author has applied a Creative Commons Attribution (CC BY) licence to any Author Accepted Manuscript version arising. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery-pp.ucl.ac.uk/id/eprint/10180562 |
Archive Staff Only
 |
View Item |
