Search+LLM-based Testing for ARM Simulators
PaperFirst seen 8/4/2026
Last seen 8/12/2026
Evidence 11 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
27 connectionsThe paper presents and discusses SearchSYS as its primary contribution.
The paper evaluates SearchSYS by testing the gem5 simulator.
The paper empirically investigates six LLMs including GPT-3.5-turbo for input generation.
The paper empirically investigates six LLMs including TinyLlama for input generation.
The paper empirically investigates six LLMs including Phi2 for input generation.
The paper empirically investigates six LLMs including Llama2 for input generation.
The paper empirically investigates six LLMs including Magicoder for input generation.
The paper empirically investigates six LLMs including CodeBooga for input generation.
The paper compares bug-finding effectiveness between the ARM ISA and X86 ISA.
The paper compares bug-finding on ARM ISA with prior results on X86 ISA in gem5.
The paper uses fuzzing as one of the core testing techniques.
The paper uses TinyLlama as one of the LLMs for seed generation evaluation.
The paper uses LLMs for initial seed C code generation.
The paper uses differential testing to identify mismatches between simulator and real hardware.
The paper mentions RISC-V as a potential future ISA target for SearchSYS.
The paper uses Magicoder as one of the LLMs for seed generation evaluation.
The paper uses Phi as one of the LLMs for seed generation evaluation.
The paper uses GPT-3.5 as one of the LLMs for seed generation evaluation.
Karine Even-Mendoza is listed as first author of the paper.
Héctor D. Menéndez is listed as second author of the paper.
W.B. Langdon is listed as third author of the paper.
Aidan Dakhama is listed as fourth author of the paper.
Justyna Petke is listed as fifth author of the paper.
Bobby R. Bruce is listed as sixth author of the paper.
Multiple authors are affiliated with King's College London.
Multiple authors are affiliated with University College London.
Bobby R. Bruce is affiliated with UC Davis.