{"id":"https://openalex.org/W2468260040","doi":"https://doi.org/10.1145/2931037.2931059","title":"Analyzing test completeness for dynamic languages","display_name":"Analyzing test completeness for dynamic languages","publication_year":2016,"publication_date":"2016-07-07","ids":{"openalex":"https://openalex.org/W2468260040","doi":"https://doi.org/10.1145/2931037.2931059","mag":"2468260040"},"language":"en","primary_location":{"id":"doi:10.1145/2931037.2931059","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2931037.2931059","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://pure.au.dk/portal/en/publications/1b2dda7c-d4b3-4c8c-b80e-9cf24151741d","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024731445","display_name":"Christoffer Quist Adamsen","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":true,"raw_author_name":"Christoffer Quist Adamsen","raw_affiliation_strings":["Aarhus University, Denmark"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109403799","display_name":"Gianluca Mezzetti","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":"Gianluca Mezzetti","raw_affiliation_strings":["Aarhus University, Denmark"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"last","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"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5024731445"],"corresponding_institution_ids":["https://openalex.org/I204337017"],"apc_list":null,"apc_paid":null,"fwci":0.4301,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.68310992,"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":"142","last_page":"153"},"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/T10260","display_name":"Software Engineering Research","score":0.9993000030517578,"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.9970999956130981,"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/computer-science","display_name":"Computer science","score":0.8380565047264099},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.7866730690002441},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.723825991153717},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.6401941776275635},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6003233790397644},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.553695023059845},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5496894717216492},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5348023176193237},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.47373688220977783},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4391229450702667},{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.4278159439563751},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.41733551025390625},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.41381603479385376},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38392773270606995},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.16060465574264526},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1053881049156189},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.09496185183525085}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8380565047264099},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.7866730690002441},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.723825991153717},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.6401941776275635},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6003233790397644},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.553695023059845},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5496894717216492},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5348023176193237},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.47373688220977783},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4391229450702667},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.4278159439563751},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.41733551025390625},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.41381603479385376},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38392773270606995},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.16060465574264526},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1053881049156189},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.09496185183525085},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2931037.2931059","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2931037.2931059","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire/1b2dda7c-d4b3-4c8c-b80e-9cf24151741d","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/1b2dda7c-d4b3-4c8c-b80e-9cf24151741d","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Adamsen, C Q, Mezzetti, G & M\u00f8ller, A 2016, Analyzing Test Completeness for Dynamic Languages. in ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis : ISSTA 2016. Association for Computing Machinery, New York, NY, USA, pp. 142-153, Proceedings of the 25th International Symposium on Software Testing and Analysis, Saarbr\u00fccken, Germany, 18/07/2016. https://doi.org/10.1145/2931037.2931059","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/1b2dda7c-d4b3-4c8c-b80e-9cf24151741d","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/1b2dda7c-d4b3-4c8c-b80e-9cf24151741d","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Adamsen, C Q, Mezzetti, G & M\u00f8ller, A 2016, Analyzing Test Completeness for Dynamic Languages. in ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis : ISSTA 2016. Association for Computing Machinery, New York, NY, USA, pp. 142-153, Proceedings of the 25th International Symposium on Software Testing and Analysis, Saarbr\u00fccken, Germany, 18/07/2016. https://doi.org/10.1145/2931037.2931059","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"score":0.47999998927116394,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W100599422","https://openalex.org/W148396834","https://openalex.org/W303139982","https://openalex.org/W1549185825","https://openalex.org/W1575308494","https://openalex.org/W1577384748","https://openalex.org/W1964962870","https://openalex.org/W1969808647","https://openalex.org/W1973186567","https://openalex.org/W1975914482","https://openalex.org/W1977764760","https://openalex.org/W1980948348","https://openalex.org/W1982205631","https://openalex.org/W1986447758","https://openalex.org/W1987647365","https://openalex.org/W2006159725","https://openalex.org/W2020910602","https://openalex.org/W2023753091","https://openalex.org/W2033140592","https://openalex.org/W2052664195","https://openalex.org/W2055489377","https://openalex.org/W2061640969","https://openalex.org/W2085682019","https://openalex.org/W2088494048","https://openalex.org/W2090348364","https://openalex.org/W2091335641","https://openalex.org/W2102473657","https://openalex.org/W2113888205","https://openalex.org/W2113964673","https://openalex.org/W2120713211","https://openalex.org/W2122049982","https://openalex.org/W2128457714","https://openalex.org/W2132840411","https://openalex.org/W2142194171","https://openalex.org/W2144160229","https://openalex.org/W2144344516","https://openalex.org/W2146641295","https://openalex.org/W2149469095","https://openalex.org/W2152419799","https://openalex.org/W2153923555","https://openalex.org/W2154897437","https://openalex.org/W2157755550","https://openalex.org/W2168176277","https://openalex.org/W2171971095","https://openalex.org/W2240147613","https://openalex.org/W2253750756","https://openalex.org/W2913256667","https://openalex.org/W3142323636","https://openalex.org/W4229717394","https://openalex.org/W4241122238","https://openalex.org/W4250522981","https://openalex.org/W4252015082","https://openalex.org/W6604057365","https://openalex.org/W6610773549","https://openalex.org/W6634634799","https://openalex.org/W6691653927"],"related_works":["https://openalex.org/W1634497122","https://openalex.org/W2102816555","https://openalex.org/W4309636920","https://openalex.org/W4247035379","https://openalex.org/W2104993088","https://openalex.org/W2461954509","https://openalex.org/W3135746251","https://openalex.org/W2132627437","https://openalex.org/W2789211788","https://openalex.org/W2061548807"],"abstract_inverted_index":{"In":[0],"dynamically":[1],"typed":[2],"programming":[3],"languages,":[4],"type":[5,145],"errors":[6,146],"can":[7,39,83,128],"occur":[8],"at":[9],"runtime.":[10],"Executing":[11],"the":[12,87,92,101,133],"test":[13,43,105,137],"suites":[14],"that":[15,38,79,157],"often":[16],"accompany":[17],"programs":[18],"may":[19],"provide":[20],"some":[21],"confidence":[22],"about":[23],"absence":[24,143],"of":[25,103,110,135,144],"such":[26,122],"errors,":[27],"but":[28],"generally":[29],"without":[30],"any":[31],"guarantee.":[32],"We":[33],"present":[34],"a":[35,42,50,70,95,104,108,123,136],"program":[36,59,126,155],"analysis":[37,68,75,78,89,93,127,165],"check":[40],"whether":[41],"suite":[44,106,138],"has":[45],"sufficient":[46],"coverage":[47,97],"to":[48,141,160],"prove":[49],"given":[51],"type-related":[52,111],"property,":[53],"which":[54],"is":[55,158],"particularly":[56],"challenging":[57],"for":[58,100,117,131,154],"code":[60,156],"with":[61,139],"overloading":[62],"and":[63,76,147],"value":[64],"dependent":[65],"types.":[66],"The":[67],"achieves":[69],"synergy":[71],"between":[72],"scalable":[73],"static":[74,88,164],"dynamic":[77],"goes":[80],"beyond":[81],"what":[82],"be":[84,129],"accomplished":[85],"by":[86,162],"alone.":[90],"Additionally,":[91],"provides":[94],"new":[96],"adequacy":[98],"metric":[99],"completeness":[102],"regarding":[107],"family":[109],"properties.":[112],"Based":[113],"on":[114],"an":[115],"implementation":[116],"Dart,":[118],"we":[119],"demonstrate":[120],"how":[121],"hybrid":[124],"static/dynamic":[125],"used":[130],"measuring":[132],"quality":[134],"respect":[140],"showing":[142],"inferring":[148],"sound":[149],"call":[150],"graph":[151],"information,":[152],"specifically":[153],"difficult":[159],"handle":[161],"traditional":[163],"techniques.":[166]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}