{"id":"https://openalex.org/W4414433299","doi":"https://doi.org/10.1109/fdl68117.2025.11165405","title":"LLM-assisted Metamorphic Testing of Embedded Graphics Libraries","display_name":"LLM-assisted Metamorphic Testing of Embedded Graphics Libraries","publication_year":2025,"publication_date":"2025-09-10","ids":{"openalex":"https://openalex.org/W4414433299","doi":"https://doi.org/10.1109/fdl68117.2025.11165405"},"language":"en","primary_location":{"id":"doi:10.1109/fdl68117.2025.11165405","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl68117.2025.11165405","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Forum on Specification & Design Languages (FDL)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006821682","display_name":"Christoph Hazott","orcid":null},"institutions":[{"id":"https://openalex.org/I4210149433","display_name":"Institute for Complex Systems","ror":"https://ror.org/05rcgef49","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210149433","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Christoph Hazott","raw_affiliation_strings":["Institute for Complex Systems,Johannes"],"affiliations":[{"raw_affiliation_string":"Institute for Complex Systems,Johannes","institution_ids":["https://openalex.org/I4210149433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086566894","display_name":"Daniel Gro\u00dfe","orcid":"https://orcid.org/0000-0002-1490-6175"},"institutions":[{"id":"https://openalex.org/I4210119171","display_name":"Kepler Universit\u00e4tsklinikum","ror":"https://ror.org/02h3bfj85","country_code":"AT","type":"funder","lineage":["https://openalex.org/I4210119171"]},{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Daniel Gro\u00dfe","raw_affiliation_strings":["Kepler University Linz,Austria"],"affiliations":[{"raw_affiliation_string":"Kepler University Linz,Austria","institution_ids":["https://openalex.org/I4210119171","https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5006821682"],"corresponding_institution_ids":["https://openalex.org/I4210149433"],"apc_list":null,"apc_paid":null,"fwci":1.6144,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.88141982,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9638000130653381,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9638000130653381,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12810","display_name":"Real-time simulation and control systems","score":0.9483000040054321,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9072999954223633,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/graphics","display_name":"Graphics","score":0.7922999858856201},{"id":"https://openalex.org/keywords/firmware","display_name":"Firmware","score":0.6302000284194946},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4505999982357025},{"id":"https://openalex.org/keywords/3d-computer-graphics","display_name":"3D computer graphics","score":0.4074999988079071},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics","score":0.3650999963283539},{"id":"https://openalex.org/keywords/graphics-software","display_name":"Graphics software","score":0.36309999227523804},{"id":"https://openalex.org/keywords/graphics-pipeline","display_name":"Graphics pipeline","score":0.3287999927997589}],"concepts":[{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.7922999858856201},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7804999947547913},{"id":"https://openalex.org/C67212190","wikidata":"https://www.wikidata.org/wiki/Q104851","display_name":"Firmware","level":2,"score":0.6302000284194946},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4505999982357025},{"id":"https://openalex.org/C66629338","wikidata":"https://www.wikidata.org/wiki/Q189177","display_name":"3D computer graphics","level":3,"score":0.4074999988079071},{"id":"https://openalex.org/C77660652","wikidata":"https://www.wikidata.org/wiki/Q150971","display_name":"Computer graphics","level":2,"score":0.3650999963283539},{"id":"https://openalex.org/C199016294","wikidata":"https://www.wikidata.org/wiki/Q868410","display_name":"Graphics software","level":3,"score":0.36309999227523804},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.35690000653266907},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34290000796318054},{"id":"https://openalex.org/C173552908","wikidata":"https://www.wikidata.org/wiki/Q1366289","display_name":"Graphics pipeline","level":4,"score":0.3287999927997589},{"id":"https://openalex.org/C202629362","wikidata":"https://www.wikidata.org/wiki/Q2078","display_name":"Scalable Vector Graphics","level":2,"score":0.32440000772476196},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3151000142097473},{"id":"https://openalex.org/C537207887","wikidata":"https://www.wikidata.org/wiki/Q2816483","display_name":"Real-time computer graphics","level":4,"score":0.31029999256134033},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3034999966621399},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.28940001130104065},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.272599995136261},{"id":"https://openalex.org/C106965311","wikidata":"https://www.wikidata.org/wiki/Q1122267","display_name":"Computer Graphics Metafile","level":5,"score":0.2526000142097473}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fdl68117.2025.11165405","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl68117.2025.11165405","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Forum on Specification & Design Languages (FDL)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1555791645","https://openalex.org/W1972011634","https://openalex.org/W1986542351","https://openalex.org/W1996847729","https://openalex.org/W2041713059","https://openalex.org/W2216975013","https://openalex.org/W2324595780","https://openalex.org/W2782311202","https://openalex.org/W2801292404","https://openalex.org/W2808548211","https://openalex.org/W2945056715","https://openalex.org/W3091832709","https://openalex.org/W4243394032","https://openalex.org/W4244923041","https://openalex.org/W4293261662","https://openalex.org/W4294042908","https://openalex.org/W4378801016","https://openalex.org/W4385477813","https://openalex.org/W4393141058","https://openalex.org/W4394698868","https://openalex.org/W4400034194","https://openalex.org/W4401568655","https://openalex.org/W4402389412","https://openalex.org/W4403023462","https://openalex.org/W4405220996","https://openalex.org/W4409282730","https://openalex.org/W4410582799","https://openalex.org/W4410583821"],"related_works":[],"abstract_inverted_index":{"Modern":[0],"applications":[1],"increasingly":[2],"rely":[3],"on":[4],"embedded":[5,14,19,93,146],"systems":[6],"that":[7,54,160],"incorporate":[8],"visual":[9],"interfaces":[10],"developed":[11],"utilizing":[12],"so-called":[13],"graphics":[15,20,94,147],"libraries.":[16],"Verifying":[17],"these":[18,72],"libraries":[21,95],"is":[22,39,108],"challenging":[23,78],"due":[24],"to":[25,119],"hardware":[26],"dependencies":[27],"and":[28,77,135,158,166],"the":[29,56,69,112],"lack":[30,35],"of":[31,36,71,92],"reference":[32,37],"outputs.":[33],"The":[34],"outputs":[38],"tackled":[40],"in":[41],"Metamorphic":[42,65],"Testing":[43],"(MT)":[44],"by":[45],"constructing":[46],"two":[47],"Firmware":[48],"(FW)":[49],"versions":[50],"with":[51,105,153],"distinct":[52],"implementations":[53],"maintain":[55],"same":[57],"input-output":[58],"relationships.":[59],"These":[60],"relations":[61],"are":[62],"known":[63],"as":[64],"Relations":[66],"(MRs).":[67],"However,":[68],"development":[70],"MRs":[73,89,104,162],"remains":[74],"a":[75,84,143],"tedious":[76],"task.In":[79],"this":[80],"paper,":[81],"we":[82,114,141],"present":[83],"novel":[85],"approach":[86,157],"for":[87,90,111],"generating":[88],"MT":[91],"using":[96],"Large":[97],"Language":[98],"Models":[99],"(LLMs).":[100],"Because":[101],"directly":[102],"creating":[103],"simple":[106],"prompts":[107],"too":[109],"complex":[110],"LLM,":[113],"employ":[115],"proven":[116],"prompting":[117],"strategies":[118],"develop":[120],"our":[121,139,151],"LLM-assisted":[122,161],"MR":[123],"pipeline.":[124],"Strategies":[125],"include":[126],"role":[127],"prompting,":[128,130,132,134],"least-to-most":[129],"zero-shot":[131],"constraint-based":[133],"style":[136],"prompting.":[137],"In":[138],"experiments,":[140],"verify":[142],"widely":[144],"used":[145],"library.":[148],"We":[149],"compare":[150],"results":[152],"an":[154],"existing":[155],"manual":[156],"demonstrate":[159],"nearly":[163],"doubles":[164],"coverage":[165],"identifies":[167],"additional":[168],"bugs.":[169]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2025-10-10T00:00:00"}