{"id":"https://openalex.org/W6949377777","doi":"https://doi.org/10.5281/zenodo.13909721","title":"Artifact of Search+LLM-based Testing for ARM Simulators","display_name":"Artifact of Search+LLM-based Testing for ARM Simulators","publication_year":2024,"publication_date":"2024-10-10","ids":{"openalex":"https://openalex.org/W6949377777","doi":"https://doi.org/10.5281/zenodo.13909721"},"language":"en","primary_location":{"id":"pmh:oai:kclpure.kcl.ac.uk:datasets/1916b10d-dac9-495e-b506-0f03e68bfb75","is_oa":true,"landing_page_url":"https://zenodo.org/records/13909721","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/records/13909721","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Even-Mendoza, Karine","orcid":"https://orcid.org/0000-0002-3099-1189"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Even-Mendoza, Karine","raw_affiliation_strings":["King's College London"],"raw_orcid":"https://orcid.org/0000-0002-3099-1189","affiliations":[{"raw_affiliation_string":"King's College London","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Menendez, Hector","orcid":"https://orcid.org/0000-0002-6314-3725"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Menendez, Hector","raw_affiliation_strings":["King's College London"],"raw_orcid":"https://orcid.org/0000-0002-6314-3725","affiliations":[{"raw_affiliation_string":"King's College London","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Langdon, W.B.","orcid":"https://orcid.org/0000-0002-6388-4160"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Langdon, W.B.","raw_affiliation_strings":["University College London"],"raw_orcid":"https://orcid.org/0000-0002-6388-4160","affiliations":[{"raw_affiliation_string":"University College London","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Dakhama, Aidan","orcid":"https://orcid.org/0009-0002-7318-7964"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dakhama, Aidan","raw_affiliation_strings":["King's College London"],"raw_orcid":"https://orcid.org/0009-0002-7318-7964","affiliations":[{"raw_affiliation_string":"King's College London","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Petke, Justyna","orcid":"https://orcid.org/0000-0002-7833-6044"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Petke, Justyna","raw_affiliation_strings":["University College London"],"raw_orcid":"https://orcid.org/0000-0002-7833-6044","affiliations":[{"raw_affiliation_string":"University College London","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"last","author":{"id":null,"display_name":"Bruce, Bobby R.","orcid":"https://orcid.org/0000-0001-6070-9722"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bruce, Bobby R.","raw_affiliation_strings":["University of California, Davis"],"raw_orcid":"https://orcid.org/0000-0001-6070-9722","affiliations":[{"raw_affiliation_string":"University of California, Davis","institution_ids":["https://openalex.org/I84218800"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.15150000154972076},{"id":"https://openalex.org/keywords/3d-printer","display_name":"3d printer","score":0.11590000241994858},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.1151999980211258}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33970001339912415},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.1809999942779541},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1745000034570694},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16990000009536743},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.15150000154972076},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.13179999589920044},{"id":"https://openalex.org/C2984377249","wikidata":"https://www.wikidata.org/wiki/Q229367","display_name":"3d printer","level":2,"score":0.11590000241994858},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.1151999980211258},{"id":"https://openalex.org/C65377053","wikidata":"https://www.wikidata.org/wiki/Q1572121","display_name":"Image file formats","level":3,"score":0.11249999701976776},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.1080000028014183}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:kclpure.kcl.ac.uk:datasets/1916b10d-dac9-495e-b506-0f03e68bfb75","is_oa":true,"landing_page_url":"https://zenodo.org/records/13909721","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dataset"},{"id":"doi:10.5281/zenodo.13909721","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13909721","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Dataset"}],"best_oa_location":{"id":"pmh:oai:kclpure.kcl.ac.uk:datasets/1916b10d-dac9-495e-b506-0f03e68bfb75","is_oa":true,"landing_page_url":"https://zenodo.org/records/13909721","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dataset"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"SearchSYS":[0,80,90,739,749],"tool":[1],"can":[2,29,71,303],"be":[3,114,808,816,822],"downloaded":[4],"here:":[5],"a239d3c":[6],"(for":[7],"this":[8,726],"work).":[9],"This":[10],"is":[11,66,732,776,835],"not":[12,951],"the":[13,21,26,32,40,46,50,60,73,290,372,392,397,400,742,909,934,955,961,969],"publication":[14],"version.":[15],"Please":[16],"view":[17],"https://zenodo.org/records/14753604.":[18],"To":[19,288],"process":[20],"fuzzed":[22],"test":[23,393],"inputs,":[24],"post-fuzzing,":[25],"*.sh":[27],"here":[28,75,85],"run":[30,79,89],"on":[31,91,790],"output/default/queue":[33],"and":[34,78,121,317,333,395,740,842,953],"crash":[35],"folders.":[36],"The":[37,63,83,770],"rest":[38],"are":[39,56],"data":[41,65,373,729],"collected":[42],"during":[43],"experiments:":[44],"(1)":[45,945],"Excel":[47],"file":[48],"contains":[49],"full":[51],"analysis":[52],"while":[53],"(2)":[54],"*.tar.gz":[55],"all":[57,279,728],"outputs":[58],"from":[59,68,745],"fuzzing":[61,731],"stage.":[62],"LLM":[64],"taken":[67],"here.":[69],"You":[70,734],"follow":[72,292],"instructions":[74],"to":[76,88,314,737,807,815,821,825,831,871,938,958],"install":[77,140,204,211,219,235,241,251,896,900,908,914],"for":[81,409,455,501,547,593,639,685,730,787,911,942,968],"X86.":[82],"record":[84],"details":[86],"how":[87],"an":[92],"ARM":[93,777],"machine":[94],"(arm64-ubuntu-2204).":[95],"Experiments":[96],"Requirements:":[97],"GCC-11":[98],"wget,":[99],"zip,":[100],"unzip":[101,374],"(any":[102],"version)":[103],"LLVM-13+":[104],"(we":[105],"tested":[106],"with":[107,118,874,921],"LLVM-13,":[108],"but":[109,309],"any":[110],"newer":[111],"version":[112],"should":[113],"okay)":[115],"Python3":[116],"(tested":[117],"Python":[119,811],"3.8":[120],"3.10)":[122],"Other":[123],"packages:":[124],"sudo":[125,128,131,134,137,148,155,158,163,168,173,178,183,190,194,197,202,209,217,233,239,249,254,258,269,321,329,338,341,343,347,894,898],"apt-get":[126,129,135,138,203,210,218,234,240,250],"update":[127,136],"upgrade":[130],"add-apt-repository":[132],"ppa:ubuntu-toolchain-r/test":[133],"-y":[139,205,212,220,236,242,252,256],"gcc-11":[141],"g++-11":[142],"cpp-11":[143],"wget":[144,188,368],"lsb-release":[145],"gnupg":[146],"software-properties-common":[147],"rm":[149,156,426,430,436,472,476,482,518,522,528,564,568,574,610,614,620,656,660,666,702,706,712],"/usr/bin/cpp":[150,162],"/usr/bin/gcc":[151,167],"/usr/bin/g++":[152,177],"/usr/bin/gcov":[153,187],"/usr/bin/c++":[154,182],"/usr/bin/cc":[157,172],"ln":[159,164,169,174,179,184,198],"-s":[160,165,170,175,180,185,199],"/usr/bin/cpp-11":[161],"/usr/bin/gcc-11":[166,171],"/usr/bin/g++-11":[176,181],"/usr/bin/gcov-11":[186],"https://apt.llvm.org/llvm.sh":[189],"chmod":[191],"+x":[192],"llvm.sh":[193],"./llvm.sh":[195],"13":[196],"/usr/bin/llvm-config-13":[200,274],"/usr/bin/llvm-config":[201,272],"lld-13":[206],"llvm-13-dev":[207],"clang-13":[208],"lld":[213],"llvm":[214,246],"llvm-dev":[215],"clang":[216,262],"build-essential":[221],"python3-dev":[222],"automake":[223],"cmake":[224,238,245],"git":[225,243,753,756,761,879],"flex":[226],"bison":[227],"libglib2.0-dev":[228],"libpixman-1-dev":[229],"python3-setuptools":[230],"cargo":[231],"libgtk-3-dev":[232],"ninja-build":[237],"make":[244,768,783,946],"gdb":[247],"coreutils":[248],"gcc-11-plugin-dev":[253],"apt":[255,895,899],"autoremove":[257],"update-alternatives":[259,270],"--install":[260,271],"/usr/bin/clang":[261],"/usr/bin/clang-13":[263],"1300":[264,275],"--slave":[265],"/usr/bin/clang++":[266],"clang++":[267],"/usr/bin/clang++-13":[268],"llvm-config":[273],"LLVM_CONFIG=/usr/bin/llvm-config-13":[276],"We":[277],"attached":[278],"installed":[280],"packages":[281],"in":[282,399,411,457,503,549,595,641,687],"list-of-installed-packages.log.":[283],"Reproduce":[284],"ICSE-SEIP":[285],"2025":[286],"Evaluation:":[287],"reproduce":[289],"experiments":[291],"these":[293],"commands":[294],"(Unix":[295],"system):":[296],"##":[297,320,355,365,387,402,750],"CREATE":[298],"A":[299],"NEW":[300],"USER":[301],"(you":[302],"also":[304],"use":[305,949],"your":[306],"own":[307],"user":[308],"then":[310],"you":[311,829,869,936,948],"will":[312],"need":[313,735,830,870,937],"amend":[315],"/home/debian":[316,346,350,367,752,878],"debian,":[318],"accordingly)":[319],"adduser":[322],"debian":[323,331,342,351,354],"#":[324,328,332,370,890,906,917],"if":[325],"needed":[326,892],"run:":[327],"passwd":[330],"set":[334,360],"some":[335],"simple":[336],"password":[337],"usermod":[339,348],"-aG":[340],"mkdir":[344],"-p":[345],"-d":[349,377],"su":[352],"-":[353,358,390],"GET":[356,747],"DATA":[357],"7":[359],"of":[361],"LLM-generated":[362],"C":[363],"programs":[364],"cd":[366,379,407,434,443,453,480,489,499,526,535,545,572,581,591,618,627,637,664,673,683,710,719,751,759,877,882],"\"https://zenodo.org/records/10999115/files/LLM_test_inputs-4FuzzExp2.zip\"":[369],"Get":[371],"-n":[375],"LLM_test_inputs-4FuzzExp2.zip":[376],"/home/debian/experiment":[378],"/home/debian/experiment/":[380,435,481,527,573,619,665,711],"sed":[381,445,491,537,583,629,675,721],"-i":[382,446,492,538,584,630,676,722],"\"s:/home/ubuntu/experiment-7/:/home/debian/experiment/:g\"":[383],"*/input/*.txt":[384],"cat":[385],"/home/debian/experiment/TinyLlama-cmin/input/test_input_574567374417673.txt":[386],"COMPILE":[388],"BINARIES":[389],"build":[391,741,836,872,919],"binaries":[394],"tailor":[396],"paths":[398],"seeds":[401],"###":[403,406,449,452,495,498,541,544,587,590,633,636,679,682,769,779],"Model":[404,450,496,542,588,634,680],"CodeBooga":[405],"/home/debian/experiment/CodeBooga":[408],"prog":[410,456,502,548,594,640,686],"raw/*.c;":[412,458,504,550,596,642,688],"do":[413,459,505,551,597,643,689],"gcc":[414,460,506,552,598,644,690],"-O3":[415,461,507,553,599,645,691],"\"$prog\"":[416,462,508,554,600,646,692],"-o":[417,463,509,555,601,647,693],"\"$prog.o\"":[418,464,510,556,602,648,694],"&&":[419,465,511,557,603,649,695],"mv":[420,466,512,558,604,650,696],"$prog.o":[421,467,513,559,605,651,697],"binary/":[422,468,514,560,606,652,698],"||":[423,428,432,469,474,478,515,520,524,561,566,570,607,612,616,653,658,662,699,704,708],"true;":[424,470,516,562,608,654,700],"done":[425,471,517,563,609,655,701],"binary/fuzz_*":[427,473,519,565,611,657,703],"true":[429,433,475,479,521,525,567,571,613,617,659,663,705,709],".DS_Store":[431,477,523,569,615,661,707],"-rf":[437,483,529,575,621,667,713],"CodeBooga-cmin/binary":[438,442],"cp":[439,485,531,577,623,669,715,764,884,887],"-r":[440,486,532,578,624,670,716,915],"CodeBooga/binary":[441],"/home/debian/experiment/CodeBooga-cmin/input":[444],"'s\\/CodeBooga/\\/CodeBooga-cmin/\\g'":[447],"*txt":[448,494,540,586,632,678,724],"Llama":[451],"/home/debian/experiment/Llama":[454],"Llama-cmin/binary":[484,488],"Llama/binary":[487],"/home/debian/experiment/Llama-cmin/input":[490],"'s\\/Llama/\\/Llama-cmin/\\g'":[493],"Magicoder":[497],"/home/debian/experiment/Magicoder":[500],"Magicoder-cmin/binary":[530,534],"Magicoder/binary":[533],"/home/debian/experiment/Magicoder-cmin/input":[536],"'s\\/Magicoder/\\/Magicoder-cmin/\\g'":[539],"TinyLlama":[543],"/home/debian/experiment/TinyLlama":[546],"TinyLlama-cmin/binary":[576,580],"TinyLlama/binary":[579],"/home/debian/experiment/TinyLlama-cmin/input":[582],"'s\\/TinyLlama/\\/TinyLlama-cmin/\\g'":[585],"Phi":[589],"/home/debian/experiment/Phi":[592],"Phi-cmin/binary":[622,626],"Phi/binary":[625],"/home/debian/experiment/Phi-cmin/input":[628],"'s\\/Phi/\\/Phi-cmin/\\g'":[631],"gpt3.5-new":[635],"/home/debian/experiment/gpt3.5-new":[638],"gpt3.5-new-cmin/binary":[668,672],"gpt3.5-new/binary":[671],"/home/debian/experiment/gpt3.5-new-cmin/input":[674],"'s\\/gpt3.5-new/\\/gpt3.5-new-cmin/\\g'":[677],"gpt3.5-old":[681],"/home/debian/experiment/gpt3.5-old":[684],"gpt3.5-old-cmin/binary":[714,718],"gpt3.5-old/binary":[717],"/home/debian/experiment/gpt3.5-old-cmin/input":[720],"'s\\/gpt3.5-old/\\/gpt3.5-old-cmin/\\g'":[723],"At":[725],"point":[727],"ready.":[733],"now":[736],"get":[738],"SUT":[743],"(gem5)":[744],"source.##":[746],"AFL++":[748,786,875,922],"clone":[754,757,880],"https://github.com/karineek/SearchGEM5.git":[755],"https://github.com/AFLplusplus/AFLplusplus.git":[758],"AFLplusplus":[760],"checkout":[762],"f596a297c4de6a5e1a6fb9fbb3b4e18124a24f58":[763],"../SearchGEM5/src/gem5-afl/afl-fuzz-init.c":[765],"src/afl-fuzz-init.c":[766],"AFL_USE_ASAN=0":[767,782],"compilation":[771,800],"shall":[772],"state":[773],"that":[774,833,960],"it":[775,940],"architecture:":[778],"```":[780],"debian@node0:~/AFLplusplus$":[781],"[*]":[784],"Compiling":[785],"OS":[788],"Linux":[789],"ARCH":[791],"aarch64":[792],"[+]":[793,804,810,818,840,847,853,858,864],"ZLIB":[794],"detected":[795],"[!]":[796],"Note:":[797],"skipping":[798],"x86":[799],"checks":[801],"(AFL_NO_X86":[802],"set).":[803],"shmat":[805],"seems":[806,814,820],"working.":[809,817],"3.8.10":[812],"support":[813],"Everything":[819],"working,":[823],"ready":[824],"compile":[826],"...":[827],"```then":[828],"check":[832,954],"AFL":[834],"correctly:":[837],"```Build":[838],"Summary:":[839],"afl-fuzz":[841],"supporting":[843],"tools":[844],"successfully":[845,851,856,862,866],"built":[846,852,857,863,941],"LLVM":[848,854,859],"basic":[849],"mode":[850,855,861],"LTO":[860],"gcc_mode":[865],"built```":[867],"Then":[868,907],"gem5":[873,920],"instrumentation:":[876,923],"https://github.com/BobbyRBruce/gem5-ssbse-challenge-2023.git":[881],"/home/debian/gem5-ssbse-challenge-2023":[883],"../SearchGEM5/src/gem5-afl/SConstruct":[885],".":[886],"../SearchGEM5/src/gem5-afl/SConscript":[888],"src/":[889],"If":[891],"install:":[893],"python3-pip":[897],"scons":[901,926],"protobuf-compiler":[902],"libhdf5-dev":[903],"libgoogle-perftools-dev":[904],"libsystemc-dev":[905],"requirements":[910],"gem5:":[912],"pip":[913],"requirements.txt":[916],"And":[918],"CC=afl-cc":[924],"CXX=afl-c++":[925],"build/ARM/gem5.opt":[927],"-j":[928],"4":[929],"--no-cache":[930],"./build/ARM/gem5.opt":[931],"-C":[932],"During":[933],"configuration,":[935],"see":[939,959],"ARM,":[943],"hence":[944],"sure":[947],"build/ARM":[950],"X86,":[952],"configuration":[956],"log":[957],"right":[962],"architecture":[963],"has":[964],"been":[965],"properly":[966],"selected":[967],"build.":[970]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}