{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:29:09Z","timestamp":1750746549967,"version":"3.37.3"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100004679","name":"EDS","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004679","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1109\/met52542.2021.00017","type":"proceedings-article","created":{"date-parts":[[2021,7,12]],"date-time":"2021-07-12T21:33:46Z","timestamp":1626125626000},"page":"61-68","source":"Crossref","is-referenced-by-count":9,"title":["Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools"],"prefix":"10.1109","author":[{"given":"Andrei","family":"Lascu","sequence":"first","affiliation":[{"name":"Imperial College London,London,United Kingdom,SW7 2AZ"}]},{"given":"Matt","family":"Windsor","sequence":"additional","affiliation":[{"name":"Imperial College London,London,United Kingdom,SW7 2AZ"}]},{"given":"Alastair F.","family":"Donaldson","sequence":"additional","affiliation":[{"name":"Imperial College London,London,United Kingdom,SW7 2AZ"}]},{"given":"Tobias","family":"Grosser","sequence":"additional","affiliation":[{"name":"University of Edinburgh,Edinburgh,United Kingdom,EH1 2LX"}]},{"given":"John","family":"Wickerson","sequence":"additional","affiliation":[{"name":"Imperial College London,London,United Kingdom,SW7 2AZ"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2896971.2896978"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737986"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.39"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3363562"},{"key":"ref34","first-page":"22:1","article-title":"Putting randomized compiler testing into production (experience report)","volume":"166","author":"donaldson","year":"2020","journal-title":"34th European Conference on Object-Oriented Programming ECOOP 2020"},{"key":"ref10","first-page":"737","article-title":"Yices 2.2","volume":"8559","author":"dutertre","year":"2014","journal-title":"Computer Aided Verification - 26th International Conference CAV 2014 Proceedings"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1512464.1512472"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"article-title":"The diy7 tool suite","year":"2020","author":"alglave","key":"ref13"},{"year":"2021","key":"ref14","article-title":"LLVM language reference manual"},{"year":"2020","key":"ref15","article-title":"Vulkan 1.2 - a specification"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3133917"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568287"},{"year":"2020","key":"ref18","article-title":"Atomic operations library"},{"article-title":"SMTLIB2 ints theory declaration","year":"2015","author":"tinelli","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2013.6698899"},{"article-title":"MF++","year":"2021","author":"lascu","key":"ref4"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/2635868.2635888","article-title":"Search-based synthesis of equivalent method sequences","author":"goffi","year":"2014","journal-title":"Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"article-title":"spirv-fuzz, part of SPIR-V Tools","year":"2021","author":"group","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSESS.2013.6615286"},{"article-title":"The C4 concurrent C fuzzer","year":"2021","author":"windsor","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15582-6_49"},{"article-title":"SPIR-V specification, version 1.5, revision 4, unified","year":"2020","author":"kessenich","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"ref9","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref1","article-title":"Metamorphic testing: A new approach for generating next test cases","author":"chen","year":"1998","journal-title":"Tech Rep HKUST-CS98-01"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2491967"},{"article-title":"Integer set coalescing","year":"2015","author":"verdoolaege","key":"ref22"},{"article-title":"The saturation effect in fuzzing","year":"2020","author":"regehr","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2012.10"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288321"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642994"},{"key":"ref25","article-title":"Metamorphic relations for enhancing system understanding and use","author":"zhou","year":"2018","journal-title":"IEEE Transactions on Software Engineering"}],"event":{"name":"2021 IEEE\/ACM 6th International Workshop on Metamorphic Testing (MET)","start":{"date-parts":[[2021,6,2]]},"location":"Madrid, Spain","end":{"date-parts":[[2021,6,2]]}},"container-title":["2021 IEEE\/ACM 6th International Workshop on Metamorphic Testing (MET)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9477445\/9477446\/09477685.pdf?arnumber=9477685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T23:43:32Z","timestamp":1659483812000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9477685\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/met52542.2021.00017","relation":{},"subject":[],"published":{"date-parts":[[2021,6]]}}}