{"id":"https://openalex.org/W2735995063","doi":"https://doi.org/10.1145/3092703.3098226","title":"ArtForm: a tool for exploring the codebase of form-based websites","display_name":"ArtForm: a tool for exploring the codebase of form-based websites","publication_year":2017,"publication_date":"2017-07-10","ids":{"openalex":"https://openalex.org/W2735995063","doi":"https://doi.org/10.1145/3092703.3098226","mag":"2735995063"},"language":"en","primary_location":{"id":"doi:10.1145/3092703.3098226","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3098226","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"conference-paper","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/A5078102668","display_name":"Ben F. Spencer","orcid":"https://orcid.org/0000-0002-1453-5327"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ben Spencer","raw_affiliation_strings":["University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037774973","display_name":"Michael Benedikt","orcid":"https://orcid.org/0000-0003-2964-0880"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Benedikt","raw_affiliation_strings":["University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103189175","display_name":"Anders M\u00f8ller","orcid":"https://orcid.org/0000-0003-1333-2314"},"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":"Anders M\u00f8ller","raw_affiliation_strings":["Aarhus University, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014089511","display_name":"Franck van Breugel","orcid":"https://orcid.org/0009-0002-7320-1527"},"institutions":[{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Franck van Breugel","raw_affiliation_strings":["York University, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"York University, Canada","institution_ids":["https://openalex.org/I192455969"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1745,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.32226355,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"380","last_page":"383"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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.9995999932289124,"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/codebase","display_name":"Codebase","score":0.9594662189483643},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.9113757610321045},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8071275949478149},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.7957667708396912},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6319862604141235},{"id":"https://openalex.org/keywords/web-application","display_name":"Web application","score":0.49692800641059875},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.44425255060195923},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43076226115226746},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.40184643864631653},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.37950122356414795},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.18264469504356384},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.12108707427978516},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08039093017578125}],"concepts":[{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.9594662189483643},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.9113757610321045},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8071275949478149},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.7957667708396912},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6319862604141235},{"id":"https://openalex.org/C118643609","wikidata":"https://www.wikidata.org/wiki/Q189210","display_name":"Web application","level":2,"score":0.49692800641059875},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.44425255060195923},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43076226115226746},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.40184643864631653},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.37950122356414795},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.18264469504356384},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12108707427978516},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08039093017578125},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3092703.3098226","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3098226","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:3b271a87-ed0a-418c-899e-0af04da2cc97","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:3b271a87-ed0a-418c-899e-0af04da2cc97","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference item"},{"id":"pmh:oai:pure.atira.dk:publications/dffc00b4-0ee0-49ec-af4c-a1ef6173c1a3","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/dffc00b4-0ee0-49ec-af4c-a1ef6173c1a3","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Spencer, B, Benedikt, M, M\u00f8ller, A & Breugel, F V 2017, ArtForm: A Tool for Exploring the Codebase of Form-based Websites. in K Sen & T Bultan (eds), ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery, New York, NY, USA, pp. 380-383, International Symposium on Software Testing and Analysis, Santa Barbara, California, United States, 10/07/2017. https://doi.org/10.1145/3092703.3098226","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2156944202","display_name":null,"funder_award_id":"EP/M005852/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W157156687","https://openalex.org/W202191487","https://openalex.org/W1577719850","https://openalex.org/W1710734607","https://openalex.org/W1777693579","https://openalex.org/W1999753800","https://openalex.org/W2009489720","https://openalex.org/W2027999475","https://openalex.org/W2031381791","https://openalex.org/W2039173453","https://openalex.org/W2094568767","https://openalex.org/W2096449544","https://openalex.org/W2121507867","https://openalex.org/W2134741696","https://openalex.org/W2161963160","https://openalex.org/W2290206096","https://openalex.org/W4237492309","https://openalex.org/W6606430823","https://openalex.org/W6828535928"],"related_works":["https://openalex.org/W1983849186","https://openalex.org/W34311366","https://openalex.org/W2553223552","https://openalex.org/W2155539595","https://openalex.org/W844671342","https://openalex.org/W4285245777","https://openalex.org/W2016349767","https://openalex.org/W1992057646","https://openalex.org/W3134905881","https://openalex.org/W2735995063"],"abstract_inverted_index":{"We":[0],"describe":[1],"ArtForm,":[2],"a":[3,42,55],"tool":[4,40],"for":[5],"exploring":[6],"the":[7,63],"codebase":[8],"of":[9,37,44,50,57,59,65],"dynamic":[10],"data-driven":[11],"websites":[12],"where":[13],"users":[14],"enter":[15],"data":[16],"via":[17],"forms.":[18],"ArtForm":[19],"extends":[20],"an":[21],"instrumented":[22],"browser,":[23],"so":[24],"it":[25],"can":[26],"directly":[27],"implement":[28],"user":[29,51],"interactions,":[30],"adding":[31],"in":[32],"symbolic":[33],"and":[34],"concolic":[35,60],"execution":[36,61],"JavaScript.":[38],"The":[39],"supports":[41],"range":[43],"exploration":[45],"modes":[46],"with":[47],"varying":[48],"degrees":[49],"intervention.":[52],"It":[53],"includes":[54],"number":[56],"adaptations":[58],"to":[62],"setting":[64],"form-based":[66],"web":[67],"programs.":[68]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}