{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:51Z","timestamp":1750219791281,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia (FCT)","award":["UIDB\/50021\/2020 and DIVINA (CMU\/TIC\/0053\/2021)"],"award-info":[{"award-number":["UIDB\/50021\/2020 and DIVINA (CMU\/TIC\/0053\/2021)"]}]},{"name":"IAPMEI","award":["SmartRe- tail project (C6632206063-00466847"],"award-info":[{"award-number":["SmartRe- tail project (C6632206063-00466847"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3604923","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1499-1502","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations"],"prefix":"10.1145","author":[{"given":"Frederico","family":"Ramos","sequence":"first","affiliation":[{"name":"Instituto Superior T\u00e9cnico, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diogo Costa","family":"Reis","sequence":"additional","affiliation":[{"name":"Instituto Superior T\u00e9cnico, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel","family":"Trigo","sequence":"additional","affiliation":[{"name":"Instituto Superior T\u00e9cnico, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ant\u00f3nio","family":"Morgado","sequence":"additional","affiliation":[{"name":"University of Lleida, Spain \/ INESC-ID, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Fragoso Santos","sequence":"additional","affiliation":[{"name":"Instituto Superior T\u00e9cnico, Portugal \/ INESC-ID, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"M. Bodin. 2014. A Trusted Mechanised JavaScript Specification. In POPL\u201914. \t\t\t\t  M. Bodin. 2014. A Trusted Mechanised JavaScript Specification. In POPL\u201914.","DOI":"10.1145\/2535838.2535876"},{"key":"e_1_3_2_1_2_1","unstructured":"J. Brown. 202"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"A. Chargu\u00e9raud etal. 2018. JSExplain: A Double Debugger for JavaScript. In WWW\u201918. \t\t\t\t  A. Chargu\u00e9raud et al.. 2018. JSExplain: A Double Debugger for JavaScript. In WWW\u201918.","DOI":"10.1145\/3184558.3185969"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"A. Guha etal. 2010. The Essence of JavaScript. In ECOOP\u201910. \t\t\t\t  A. Guha et al.. 2010. The Essence of JavaScript. In ECOOP\u201910.","DOI":"10.1007\/978-3-642-14107-2_7"},{"key":"e_1_3_2_1_5_1","volume-title":"KJS: A Complete Formal Semantics of JavaScript.","author":"Park D.","year":"2015","unstructured":"D. Park . 2015 . KJS: A Complete Formal Semantics of JavaScript. D. Park et al.. 2015. KJS: A Complete Formal Semantics of JavaScript."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"J. Fragoso Santos etal. 2018. JaVerT: JavaScript verification toolchain. \t\t\t\t  J. Fragoso Santos et al.. 2018. JaVerT: JavaScript verification toolchain.","DOI":"10.1145\/3158138"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"J. Fragoso Santos etal. 2019. JaVerT 2.0: Compositional Symbolic Execution for JavaScript. \t\t\t\t  J. Fragoso Santos et al.. 2019. JaVerT 2.0: Compositional Symbolic Execution for JavaScript.","DOI":"10.1145\/3290379"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"J. Park etal. 2021. Accelerating JavaScript static analysis via dynamic shortcuts. In ESEC\/FSE\u201921. \t\t\t\t  J. Park et al.. 2021. Accelerating JavaScript static analysis via dynamic shortcuts. In ESEC\/FSE\u201921.","DOI":"10.1145\/3468264.3468556"},{"key":"e_1_3_2_1_9_1","volume-title":"Jest: N+ 1-version differential testing of both JavaScript engines and specification. In ICSE\u201921.","author":"Park J.","year":"2021","unstructured":"J. Park . 2021 . Jest: N+ 1-version differential testing of both JavaScript engines and specification. In ICSE\u201921. J. Park et al.. 2021. Jest: N+ 1-version differential testing of both JavaScript engines and specification. In ICSE\u201921."},{"key":"e_1_3_2_1_10_1","volume-title":"JISET: JavaScript IR-Based Semantics Extraction Toolchain. In ASE\u201920.","author":"Park J.","year":"2021","unstructured":"J. Park . 2021 . JISET: JavaScript IR-Based Semantics Extraction Toolchain. In ASE\u201920. J. Park et al.. 2021. JISET: JavaScript IR-Based Semantics Extraction Toolchain. In ASE\u201920."},{"key":"e_1_3_2_1_11_1","volume-title":"JSTAR: JavaScript specification type analyzer using refinement. In ASE\u201921.","author":"Park J.","year":"2021","unstructured":"J. Park . 2021 . JSTAR: JavaScript specification type analyzer using refinement. In ASE\u201921. J. Park et al.. 2021. JSTAR: JavaScript specification type analyzer using refinement. In ASE\u201921."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"L. Almeida etal. 2023. REXSTEPPER: a Reference Debugger for JavaScript Regular Expressions. \t\t\t\t  L. Almeida et al.. 2023. REXSTEPPER: a Reference Debugger for JavaScript Regular Expressions.","DOI":"10.1109\/ICSE-Companion58688.2023.00021"},{"key":"e_1_3_2_1_13_1","unstructured":"Ariya Hidayat. [n. d.]. Esprima - a high performance standard-compliant ECMAScript parser written in ECMAScript. https:\/\/esprima.org\/ Last accessed: 2023-07-12 \t\t\t\t  Ariya Hidayat. [n. d.]. Esprima - a high performance standard-compliant ECMAScript parser written in ECMAScript. https:\/\/esprima.org\/ Last accessed: 2023-07-12"},{"volume-title":"ECMA-SL - A Platform for Specifying and Running the ECMAScript Standard. Master\u2019s thesis. IST","author":"Loureiro L.","key":"e_1_3_2_1_14_1","unstructured":"L. Loureiro . 2021. ECMA-SL - A Platform for Specifying and Running the ECMAScript Standard. Master\u2019s thesis. IST , University of Lisbon. L. Loureiro. 2021. ECMA-SL - A Platform for Specifying and Running the ECMAScript Standard. Master\u2019s thesis. IST, University of Lisbon."},{"key":"e_1_3_2_1_15_1","unstructured":"J. Politz. 201"},{"key":"e_1_3_2_1_16_1","volume-title":"The","author":"ECMA","unstructured":"ECMA TC39. 2022. The 13 th Edition of the ECMAScript Language Specification . ECMA TC39. 2022. The 13th Edition of the ECMAScript Language Specification.","edition":"13"},{"key":"e_1_3_2_1_17_1","unstructured":"ECMA TC39. 2022. Test262 - Official ECMAScript Conformance Test Suite. https:\/\/github.com\/tc39\/test262\/ Last accessed: 2023-07-12 \t\t\t\t  ECMA TC39. 2022. Test262 - Official ECMAScript Conformance Test Suite. https:\/\/github.com\/tc39\/test262\/ Last accessed: 2023-07-12"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Seattle WA USA","acronym":"ISSTA '23"},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3604923","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3604923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:59Z","timestamp":1750178279000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3604923"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":17,"alternative-id":["10.1145\/3597926.3604923","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3604923","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}