{"id":"https://openalex.org/W7197963262","doi":null,"title":"LLM-DRIVEN MUTATION TESTING IN MICROARCHITECTURE VERIFICATION","display_name":"LLM-DRIVEN MUTATION TESTING IN MICROARCHITECTURE VERIFICATION","publication_year":2025,"publication_date":"2025-05-02","ids":{"openalex":"https://openalex.org/W7197963262"},"language":"en","primary_location":{"id":"pmh:oai:nur.nu.edu.kz:123456789/8509","doi":null,"is_oa":true,"landing_page_url":"https://nur.nu.edu.kz/handle/123456789/8509","pdf_url":"https://nur.nu.edu.kz/bitstreams/2e58e39a-3525-462f-b8f3-37ee42922a0c/download","source":{"id":"https://openalex.org/S4377196417","display_name":"Nazarbayev University Repository (Nazarbayev University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60559429","host_organization_name":"Nazarbayev University","host_organization_lineage":["https://openalex.org/I60559429"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Master`s thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://nur.nu.edu.kz/bitstreams/2e58e39a-3525-462f-b8f3-37ee42922a0c/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119925270","display_name":"Bekzat Skakov","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Skakov, Bekzat","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5119925270"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9634000062942505,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9634000062942505,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.019500000402331352,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.007300000172108412,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.8389999866485596},{"id":"https://openalex.org/keywords/mutation-testing","display_name":"mutation testing","score":0.9819999933242798},{"id":"https://openalex.org/keywords/hardware-verification","display_name":"hardware verification","score":0.8410000205039978},{"id":"https://openalex.org/keywords/microarchitecture","display_name":"microarchitecture","score":0.8709999918937683},{"id":"https://openalex.org/keywords/fault-injection","display_name":"fault injection","score":0.7279999852180481},{"id":"https://openalex.org/keywords/test-suite-evaluation","display_name":"test suite evaluation","score":0.6869999766349792},{"id":"https://openalex.org/keywords/risc-v","display_name":"RISC-V","score":0.8270000219345093},{"id":"https://openalex.org/keywords/coxsackievirus-a6","display_name":"coxsackievirus A6","score":0.949999988079071}],"concepts":[{"id":"https://openalex.org/C107598950","wikidata":"https://www.wikidata.org/wiki/Q259864","display_name":"Microarchitecture","level":2,"score":0.853600025177002},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6625999808311462},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5058000087738037},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.4925000071525574},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4869000017642975},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.48559999465942383},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.48489999771118164},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.47029998898506165},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4587000012397766},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45080000162124634},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4117000102996826},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.39730000495910645},{"id":"https://openalex.org/C165005293","wikidata":"https://www.wikidata.org/wiki/Q1074500","display_name":"Chip","level":2,"score":0.39559999108314514},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.37040001153945923},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.3172999918460846},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.31439998745918274},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.305400013923645},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.3041999936103821},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.28940001130104065},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2856999933719635},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.2840999960899353},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.2824000120162964},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.26249998807907104},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.25679999589920044},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2540999948978424},{"id":"https://openalex.org/C63882131","wikidata":"https://www.wikidata.org/wiki/Q17122954","display_name":"Strengths and weaknesses","level":2,"score":0.2533000111579895}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:nur.nu.edu.kz:123456789/8509","doi":null,"is_oa":true,"landing_page_url":"https://nur.nu.edu.kz/handle/123456789/8509","pdf_url":"https://nur.nu.edu.kz/bitstreams/2e58e39a-3525-462f-b8f3-37ee42922a0c/download","source":{"id":"https://openalex.org/S4377196417","display_name":"Nazarbayev University Repository (Nazarbayev University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60559429","host_organization_name":"Nazarbayev University","host_organization_lineage":["https://openalex.org/I60559429"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Master`s thesis"}],"best_oa_location":{"id":"pmh:oai:nur.nu.edu.kz:123456789/8509","doi":null,"is_oa":true,"landing_page_url":"https://nur.nu.edu.kz/handle/123456789/8509","pdf_url":"https://nur.nu.edu.kz/bitstreams/2e58e39a-3525-462f-b8f3-37ee42922a0c/download","source":{"id":"https://openalex.org/S4377196417","display_name":"Nazarbayev University Repository (Nazarbayev University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60559429","host_organization_name":"Nazarbayev University","host_organization_lineage":["https://openalex.org/I60559429"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Master`s thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7197963262.pdf","grobid_xml":"https://content.openalex.org/works/W7197963262.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W4306808908","https://openalex.org/W4385569771","https://openalex.org/W4385571689","https://openalex.org/W4391211938","https://openalex.org/W4391505456","https://openalex.org/W4392616695","https://openalex.org/W4399354280","https://openalex.org/W4403024143","https://openalex.org/W4403808810","https://openalex.org/W4404134046","https://openalex.org/W4410407476","https://openalex.org/W4410810588"],"related_works":["https://openalex.org/W4404133976","https://openalex.org/W7221198627","https://openalex.org/W4413426069","https://openalex.org/W4415004453","https://openalex.org/W4408442146","https://openalex.org/W7138831145","https://openalex.org/W7084751037","https://openalex.org/W4415346136","https://openalex.org/W4401567960","https://openalex.org/W4401568701"],"abstract_inverted_index":{"The":[0,36,151,183],"majority":[1],"of":[2,19,33,38,55,67,87],"electronic":[3],"devices":[4],"people":[5],"use":[6],"daily":[7],"operate":[8],"with":[9],"microarchitectures":[10],"at":[11],"their":[12,166],"core.":[13],"As":[14],"manufacturers":[15],"release":[16],"new":[17],"iterations":[18],"these":[20,170],"devices,":[21],"microarchitecture":[22,157],"scale":[23],"and":[24,48,65,96,122,137],"complexity":[25],"continuously":[26],"increase.":[27],"This":[28,70],"results":[29],"in":[30,180],"the":[31,63,74,112,125,148,188,202],"rise":[32],"verification":[34,40,58,75,136,160,204],"complexity.":[35],"costs":[37],"poor":[39],"are":[41,51,91,162],"extremely":[42],"high.":[43],"Lost":[44],"funds,":[45],"chip":[46],"respins,":[47],"time-to-market":[49],"delays":[50],"only":[52],"a":[53,139,198],"few":[54],"them.":[56],"Current":[57],"methodologies":[59],"heavily":[60],"rely":[61],"on":[62,165,187],"skills":[64],"experience":[66],"hardware":[68,113,135],"engineers.":[69],"dependence":[71],"further":[72],"complicates":[73],"process.":[76],"Large":[77],"Language":[78],"Models":[79],"(LLMs)":[80],"have":[81],"already":[82],"become":[83],"an":[84,145,173],"integral":[85],"part":[86],"software":[88],"engineering.":[89],"They":[90],"being":[92],"used":[93],"for":[94,111],"code":[95],"test":[97,181],"generation,":[98],"documentation,":[99],"debugging,":[100],"etc.":[101],"Now,":[102],"researchers":[103],"actively":[104],"explore":[105],"how":[106,131],"LLMs":[107,132],"can":[108,133],"be":[109],"useful":[110],"domain":[114],"as":[115,147],"well.":[116],"To":[117],"contribute":[118],"to":[119,123,168,177,201],"this":[120,128],"goal":[121],"address":[124],"aforementioned":[126],"problems,":[127],"work":[129],"investigates":[130],"advance":[134],"introduces":[138],"mutation":[140,149],"testing":[141],"framework":[142,152,184],"that":[143],"uses":[144],"LLM":[146],"generator.":[150],"injects":[153],"context-aware":[154],"faults":[155],"into":[156],"designs.":[158],"Then,":[159],"infrastructures":[161],"evaluated":[163],"based":[164],"ability":[167],"detect":[169],"faults.":[171],"Such":[172],"approach":[174],"allows":[175],"engineers":[176],"find":[178],"weaknesses":[179],"suites.":[182],"was":[185],"assessed":[186],"extensively":[189],"verified,":[190],"open-source":[191],"RISC-V":[192],"core":[193],"CVA6.":[194],"Hopefully,":[195],"it":[196],"brings":[197],"fresh":[199],"perspective":[200],"current":[203],"methodologies.":[205]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-08-07T00:00:00"}