{"id":"https://openalex.org/W2031381791","doi":"https://doi.org/10.1145/2635868.2635913","title":"SymJS: automatic symbolic testing of JavaScript web applications","display_name":"SymJS: automatic symbolic testing of JavaScript web applications","publication_year":2014,"publication_date":"2014-11-04","ids":{"openalex":"https://openalex.org/W2031381791","doi":"https://doi.org/10.1145/2635868.2635913","mag":"2031381791"},"language":"en","primary_location":{"id":"doi:10.1145/2635868.2635913","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2635868.2635913","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering","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/A5100360774","display_name":"Guodong Li","orcid":"https://orcid.org/0000-0003-2565-0870"},"institutions":[{"id":"https://openalex.org/I4210094759","display_name":"Fujitsu (United States)","ror":"https://ror.org/0073whr05","country_code":"US","type":"company","lineage":["https://openalex.org/I2252096349","https://openalex.org/I4210094759"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Guodong Li","raw_affiliation_strings":["Fujitsu Labs, USA"],"affiliations":[{"raw_affiliation_string":"Fujitsu Labs, USA","institution_ids":["https://openalex.org/I4210094759"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075681113","display_name":"Esben Andreasen","orcid":null},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Esben Andreasen","raw_affiliation_strings":["Aarhus University, Denmark","AARHUS UNIVERSITY, DENMARK"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"AARHUS UNIVERSITY, DENMARK","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102001964","display_name":"Indradeep Ghosh","orcid":"https://orcid.org/0000-0003-3146-4003"},"institutions":[{"id":"https://openalex.org/I4210094759","display_name":"Fujitsu (United States)","ror":"https://ror.org/0073whr05","country_code":"US","type":"company","lineage":["https://openalex.org/I2252096349","https://openalex.org/I4210094759"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Indradeep Ghosh","raw_affiliation_strings":["Fujitsu Labs, USA"],"affiliations":[{"raw_affiliation_string":"Fujitsu Labs, USA","institution_ids":["https://openalex.org/I4210094759"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100360774"],"corresponding_institution_ids":["https://openalex.org/I4210094759"],"apc_list":null,"apc_paid":null,"fwci":14.4292,"has_fulltext":false,"cited_by_count":100,"citation_normalized_percentile":{"value":0.99095477,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"449","last_page":"459"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9988999962806702,"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"}},{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.996999979019165,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.8206737637519836},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8047606945037842},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5881149768829346},{"id":"https://openalex.org/keywords/unobtrusive-javascript","display_name":"Unobtrusive JavaScript","score":0.5095646381378174},{"id":"https://openalex.org/keywords/software-testing","display_name":"Software testing","score":0.44588884711265564},{"id":"https://openalex.org/keywords/web-application","display_name":"Web application","score":0.4254198968410492},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.42145299911499023},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.4068284034729004},{"id":"https://openalex.org/keywords/rich-internet-application","display_name":"Rich Internet application","score":0.2144831120967865},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.06217488646507263}],"concepts":[{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.8206737637519836},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8047606945037842},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5881149768829346},{"id":"https://openalex.org/C198240166","wikidata":"https://www.wikidata.org/wiki/Q2298909","display_name":"Unobtrusive JavaScript","level":4,"score":0.5095646381378174},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.44588884711265564},{"id":"https://openalex.org/C118643609","wikidata":"https://www.wikidata.org/wiki/Q189210","display_name":"Web application","level":2,"score":0.4254198968410492},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.42145299911499023},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.4068284034729004},{"id":"https://openalex.org/C103048170","wikidata":"https://www.wikidata.org/wiki/Q725485","display_name":"Rich Internet application","level":3,"score":0.2144831120967865},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.06217488646507263}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2635868.2635913","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2635868.2635913","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.433.8577","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.8577","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.utah.edu/~ligd/publications/SymJS-FSE14.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.697.7597","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.7597","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.utah.edu/%7Eligd/publications/SymJS-FSE14.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W92576581","https://openalex.org/W118031093","https://openalex.org/W208073541","https://openalex.org/W1497028280","https://openalex.org/W1549880792","https://openalex.org/W1710734607","https://openalex.org/W1979693894","https://openalex.org/W1987647365","https://openalex.org/W1999753800","https://openalex.org/W2009489720","https://openalex.org/W2013530844","https://openalex.org/W2042033151","https://openalex.org/W2047694629","https://openalex.org/W2068973905","https://openalex.org/W2072077040","https://openalex.org/W2076960126","https://openalex.org/W2094568767","https://openalex.org/W2098675293","https://openalex.org/W2101512909","https://openalex.org/W2107147876","https://openalex.org/W2107709519","https://openalex.org/W2110311336","https://openalex.org/W2121507867","https://openalex.org/W2125357166","https://openalex.org/W2134741696","https://openalex.org/W2152225177","https://openalex.org/W2168272209","https://openalex.org/W2734941459","https://openalex.org/W6603841182","https://openalex.org/W6632657806"],"related_works":["https://openalex.org/W650647575","https://openalex.org/W2472584751","https://openalex.org/W2476571673","https://openalex.org/W2795601048","https://openalex.org/W2621177934","https://openalex.org/W3009852816","https://openalex.org/W2513223212","https://openalex.org/W2403324299","https://openalex.org/W1844100222","https://openalex.org/W4286287737"],"abstract_inverted_index":{"We":[0,106],"present":[1],"SymJS,":[2],"a":[3,17,67,71,75,83],"comprehensive":[4],"framework":[5],"for":[6,21,28,88,101,129],"automatic":[7,25],"testing":[8],"of":[9,110],"client-side":[10],"JavaScript":[11,47,89,114],"Web":[12,29,41,119],"applications.":[13,120],"The":[14,63],"tool":[15],"contains":[16,66],"symbolic":[18,64,68,76,85],"execution":[19,51],"engine":[20,65],"JavaScript,":[22],"and":[23,39,56,74,97,116],"an":[24],"event":[26,94,103],"explorer":[27],"pages.":[30],"Without":[31],"any":[32],"user":[33],"intervention,":[34],"SymJS":[35,111,123],"can":[36],"automatically":[37],"discover":[38],"explore":[40],"events,":[42],"symbolically":[43],"execute":[44],"the":[45,50,108,130],"associated":[46],"code,":[48],"refine":[49],"based":[52],"on":[53,112],"dynamic":[54,98],"feedbacks,":[55],"produce":[57],"test":[58],"cases":[59],"with":[60],"high":[61],"coverage.":[62],"virtual":[69,86],"machine,":[70],"string-numeric":[72],"solver,":[73],"executable":[77],"DOM":[78],"model.":[79],"SymJS's":[80],"innovations":[81],"include":[82],"novel":[84],"machine":[87],"Web,":[90],"symbolic+dynamic":[91],"feedback":[92],"directed":[93],"space":[95],"exploration,":[96],"taint":[99],"analysis":[100],"enhancing":[102],"sequence":[104],"construction.":[105],"illustrate":[107],"effectiveness":[109],"standard":[113],"benchmarks":[115],"various":[117],"real-life":[118],"On":[121],"average":[122],"achieves":[124],"over":[125],"90%":[126],"line":[127],"coverage":[128],"benchmark":[131],"programs,":[132],"significantly":[133],"outperforming":[134],"existing":[135],"methods.":[136]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":13},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":18},{"year":2017,"cited_by_count":15},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":9}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}