{"id":"https://openalex.org/W4205313548","doi":"https://doi.org/10.1109/ase51524.2021.9678781","title":"JSTAR: JavaScript Specification Type Analyzer using Refinement","display_name":"JSTAR: JavaScript Specification Type Analyzer using Refinement","publication_year":2021,"publication_date":"2021-11-01","ids":{"openalex":"https://openalex.org/W4205313548","doi":"https://doi.org/10.1109/ase51524.2021.9678781"},"language":"en","primary_location":{"id":"doi:10.1109/ase51524.2021.9678781","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase51524.2021.9678781","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","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/A5086668734","display_name":"Jihyeok Park","orcid":"https://orcid.org/0000-0001-8387-1984"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Jihyeok Park","raw_affiliation_strings":["School of Computing, KAIST, Daejeon, South Korea"],"affiliations":[{"raw_affiliation_string":"School of Computing, KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049600470","display_name":"Seungmin An","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Seungmin An","raw_affiliation_strings":["School of Computing, KAIST, Daejeon, South Korea"],"affiliations":[{"raw_affiliation_string":"School of Computing, KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101000389","display_name":"Won\u2010Ho Shin","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Wonho Shin","raw_affiliation_strings":["School of Computing, KAIST, Daejeon, South Korea"],"affiliations":[{"raw_affiliation_string":"School of Computing, KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010435597","display_name":"Yusung Sim","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Yusung Sim","raw_affiliation_strings":["School of Computing, KAIST, Daejeon, South Korea"],"affiliations":[{"raw_affiliation_string":"School of Computing, KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087492388","display_name":"Sukyoung Ryu","orcid":"https://orcid.org/0000-0002-0019-9772"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sukyoung Ryu","raw_affiliation_strings":["School of Computing, KAIST, Daejeon, South Korea"],"affiliations":[{"raw_affiliation_string":"School of Computing, KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5086668734"],"corresponding_institution_ids":["https://openalex.org/I157485424"],"apc_list":null,"apc_paid":null,"fwci":1.5549,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.80701754,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"606","last_page":"616"},"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.9941999912261963,"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.9941999912261963,"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/T10260","display_name":"Software Engineering Research","score":0.9850000143051147,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9818999767303467,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/programming-language","display_name":"Programming language","score":0.8712561726570129},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8584786653518677},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.8179064989089966},{"id":"https://openalex.org/keywords/unobtrusive-javascript","display_name":"Unobtrusive JavaScript","score":0.7445060014724731},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.693141758441925},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.47884368896484375},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.4408648610115051},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.4378509819507599},{"id":"https://openalex.org/keywords/rich-internet-application","display_name":"Rich Internet application","score":0.3492257595062256},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1427038609981537},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.105950266122818}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8712561726570129},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8584786653518677},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.8179064989089966},{"id":"https://openalex.org/C198240166","wikidata":"https://www.wikidata.org/wiki/Q2298909","display_name":"Unobtrusive JavaScript","level":4,"score":0.7445060014724731},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.693141758441925},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.47884368896484375},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.4408648610115051},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.4378509819507599},{"id":"https://openalex.org/C103048170","wikidata":"https://www.wikidata.org/wiki/Q725485","display_name":"Rich Internet application","level":3,"score":0.3492257595062256},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1427038609981537},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.105950266122818}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase51524.2021.9678781","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase51524.2021.9678781","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.4099999964237213,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W148369031","https://openalex.org/W202191487","https://openalex.org/W1966862293","https://openalex.org/W2043100293","https://openalex.org/W2082841864","https://openalex.org/W2084875723","https://openalex.org/W2117802778","https://openalex.org/W2290206096","https://openalex.org/W2385474486","https://openalex.org/W2780323212","https://openalex.org/W2798863128","https://openalex.org/W2886900155","https://openalex.org/W2899983867","https://openalex.org/W2974864893","https://openalex.org/W3105116128","https://openalex.org/W3122277321","https://openalex.org/W3136586396","https://openalex.org/W3138592144","https://openalex.org/W3154106427","https://openalex.org/W3163757474","https://openalex.org/W6696732091","https://openalex.org/W6747334919","https://openalex.org/W6756201688","https://openalex.org/W6790679137"],"related_works":["https://openalex.org/W650647575","https://openalex.org/W597036300","https://openalex.org/W2477981260","https://openalex.org/W36303035","https://openalex.org/W2617623045","https://openalex.org/W4231812305","https://openalex.org/W2505509890","https://openalex.org/W827014118","https://openalex.org/W2500345013","https://openalex.org/W2739095887"],"abstract_inverted_index":{"JavaScript":[0,18,51,129,145],"is":[1,59,136],"one":[2],"of":[3,39,57,98,108,115,201,213,220,239,288],"the":[4,29,36,55,65,73,87,90,113,123,137,199,218,221,251,256,304],"mainstream":[5],"programming":[6],"languages":[7],"for":[8,181,188,228,255,274],"client-side":[9],"programming,":[10,12],"server-side":[11],"and":[13,21,31,61,94,120,147,241,277,303],"even":[14],"embedded":[15],"systems.":[16],"Various":[17],"engines":[19],"developed":[20],"maintained":[22],"in":[23,34,45,84,166,175,195,250],"diverse":[24],"fields":[25],"must":[26],"conform":[27],"to":[28,49,100,103,171,262,270],"syntax":[30],"semantics":[32],"described":[33],"ECMAScript,":[35],"standard":[37],"specification":[38,66,149,192,206,281],"JavaScript.":[40],"Since":[41],"an":[42,177],"incorrect":[43],"description":[44],"ECMAScript":[46,58,99,116,253],"can":[47],"lead":[48],"wrong":[50],"engine":[52],"implementations,":[53],"checking":[54,112],"correctness":[56,114],"critical":[60],"essential.":[62],"However,":[63],"all":[64,247],"updates":[67],"are":[68,291,298],"currently":[69],"manually":[70],"reviewed":[71],"by":[72,301],"Ecma":[74],"Technical":[75],"Committee":[76],"39":[77],"(TC39)":[78],"without":[79],"any":[80],"automated":[81],"tools.":[82],"Moreover,":[83],"late":[85],"2014,":[86],"committee":[88,305],"announced":[89],"yearly":[91],"release":[92],"cadence":[93],"open":[95],"development":[96,105],"process":[97],"quickly":[101],"adapt":[102],"evolving":[104],"environments.":[106],"Because":[107],"such":[109],"frequent":[110],"updates,":[111],"becomes":[117],"more":[118],"labor-intensive":[119],"error-prone.To":[121],"alleviate":[122],"problem,":[124],"we":[125,224],"propose":[126],"JSTAR,":[127,302],"a":[128,152,156,167,172,209],"Specification":[130],"Type":[131],"Analyzer":[132],"using":[133,151,208,237],"Refinement.":[134],"It":[135],"first":[138,160],"tool":[139],"that":[140],"performs":[141,185],"type":[142,186,202,222,229,272],"analysis":[143,187,273],"on":[144,198,268],"specifications":[146],"detects":[148,205],"bugs":[150,207,282,290,297],"bug":[153,210],"detector.":[154],"For":[155],"given":[157],"specification,":[158],"JSTAR":[159,204,245,264],"compiles":[161],"each":[162,275],"abstract":[163,235],"algorithm":[164],"written":[165],"structured":[168],"natural":[169],"language":[170],"corresponding":[173],"function":[174],"IR<inf>ES</inf>,":[176],"untyped":[178],"intermediate":[179],"representation":[180],"ECMAScript.":[182,196],"Then,":[183],"it":[184],"compiled":[189],"functions":[190],"with":[191,246,283],"types":[193],"defined":[194],"Based":[197],"result":[200],"analysis,":[203,223,230],"detector":[211],"consisting":[212],"four":[214],"checkers.":[215],"To":[216],"increase":[217],"precision":[219],"present":[225],"condition-based":[226],"refinement":[227],"which":[231],"prunes":[232],"out":[233,287],"infeasible":[234],"states":[236],"conditions":[238],"assertions":[240],"branches.":[242],"We":[243],"evaluated":[244],"864":[248],"versions":[249],"official":[252],"repository":[254],"recent":[257],"three":[258],"years":[259],"from":[260],"2018":[261],"2021.":[263],"took":[265],"137.3":[266],"seconds":[267],"average":[269],"perform":[271],"version,":[276],"detected":[278,300],"157":[279,289],"type-related":[280],"59.2%":[284],"precision;":[285],"93":[286],"true":[292],"bugs.":[293],"Among":[294],"them,":[295],"14":[296],"newly":[299],"confirmed":[306],"them":[307],"all.":[308]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-14T08:04:32.555800","created_date":"2025-10-10T00:00:00"}