Karine Even-Mendoza, Héctor Menéndez, William B. Langdon, Aidan Dakhama, Justyna Petke, Bobby R. Bruce: Artifact of Search+LLM-based Testing for ARM Simulators. Zenodo 2024