{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:25:09Z","timestamp":1759335909189},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,1,22]]},"DOI":"10.1109\/asp-dac58780.2024.10473799","type":"proceedings-article","created":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T19:06:53Z","timestamp":1711393613000},"page":"275-281","source":"Crossref","is-referenced-by-count":3,"title":["Verifying Embedded Graphics Libraries leveraging Virtual Prototypes and Metamorphic Testing"],"prefix":"10.1109","author":[{"given":"Christoph","family":"Hazott","sequence":"first","affiliation":[{"name":"Johannes Kepler University,Institute for Complex Systems,Linz,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"St\u00f6gm\u00fcller","sequence":"additional","affiliation":[{"name":"Johannes Kepler University,Institute for Complex Systems,Linz,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Gro\u00dfe","sequence":"additional","affiliation":[{"name":"Johannes Kepler University,Institute for Complex Systems,Linz,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1967.264723"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.80"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAICPART.2009.22"},{"volume-title":"Foundations of Software Testing","year":"2013","author":"Kaner","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.2023.10246125"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3631-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54828-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05574-4"},{"volume-title":"Better Software. Faster!: Best Practices in Virtual Prototyping","year":"2014","author":"De Schutter","key":"ref10"},{"key":"ref11","first-page":"538","article-title":"Metamorphic testing 20 years later: A handson introduction","volume-title":"ICSE","author":"Segura"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3143561"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2478001"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1987993.1988003"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.11.920"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.39"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00023"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MET.2017.1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3133917"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3394885.3431592"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474211"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2004.1342879"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2011.6115306"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/icsess.2013.6615365"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2006.45"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.408"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982502"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC53125.2021.9606997"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35764-0_5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2656075.2656080"},{"key":"ref33","first-page":"1237","article-title":"P2IM: Scalable and hardware-independent firmware testing via automatic peripheral interface modeling","volume-title":"USENIX Security","author":"Feng"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3282444"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2018.8524047"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2020.101756"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3583781.3590253"},{"article-title":"DSA monitoring framework for HW\/SW partitioning of application kernels leveraging VPs","volume-title":"DVCon Europe","author":"Hazott","key":"ref38"}],"event":{"name":"2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2024,1,22]]},"location":"Incheon, Korea, Republic of","end":{"date-parts":[[2024,1,25]]}},"container-title":["2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10473777\/10473787\/10473799.pdf?arnumber=10473799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T22:03:01Z","timestamp":1711490581000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10473799\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,22]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/asp-dac58780.2024.10473799","relation":{},"subject":[],"published":{"date-parts":[[2024,1,22]]}}}