{"id":"https://openalex.org/W2945293166","doi":null,"title":"Faster Creation of Smaller Test Suites (with SNAP).","display_name":"Faster Creation of Smaller Test Suites (with SNAP).","publication_year":2019,"publication_date":"2019-05-14","ids":{"openalex":"https://openalex.org/W2945293166","mag":"2945293166"},"language":"en","primary_location":{"id":"mag:2945293166","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1905.05358v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1905.05358v1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100330942","display_name":"Jianfeng Chen","orcid":"https://orcid.org/0000-0002-4668-3412","observed_orcids":["https://orcid.org/0000-0002-4668-3412"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jianfeng Chen","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-4668-3412","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5077008083","display_name":"Tim Menzies","orcid":"https://orcid.org/0000-0002-5040-3196","observed_orcids":["https://orcid.org/0000-0002-5040-3196"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tim Menzies","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-5040-3196","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9994999766349792,"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.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":9.999999747378752e-05,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/test-case-generation","display_name":"test case generation","score":0.8479999899864197},{"id":"https://openalex.org/keywords/test-suite-minimization","display_name":"test suite reduction","score":0.765999972820282},{"id":"https://openalex.org/keywords/test-redundancy","display_name":"test redundancy","score":0.5740000009536743},{"id":"https://openalex.org/keywords/theorem-provers","display_name":"theorem provers","score":0.6759999990463257},{"id":"https://openalex.org/keywords/test-suite-size","display_name":"test suite size","score":0.4830000102519989},{"id":"https://openalex.org/keywords/snap","display_name":"SNAP","score":0.3959999978542328}],"concepts":[{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.8601797223091125},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.6625451445579529},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6404750943183899},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.6070138216018677},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5842289924621582},{"id":"https://openalex.org/C2779997099","wikidata":"https://www.wikidata.org/wiki/Q7547253","display_name":"Snap","level":2,"score":0.5362341403961182},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.448797345161438},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.426270991563797},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.41253942251205444},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.32945913076400757},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3204571604728699},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2673780918121338},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19557499885559082},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2945293166","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1905.05358v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null}],"best_oa_location":{"id":"mag:2945293166","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1905.05358v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W16743356","https://openalex.org/W255296881","https://openalex.org/W602497127","https://openalex.org/W1592766895","https://openalex.org/W1638203394","https://openalex.org/W1994143452","https://openalex.org/W2012997183","https://openalex.org/W2020703884","https://openalex.org/W2031934066","https://openalex.org/W2091968063","https://openalex.org/W2102233204","https://openalex.org/W2118325845","https://openalex.org/W2129508712","https://openalex.org/W2149902097","https://openalex.org/W2242274110","https://openalex.org/W2528040273","https://openalex.org/W2585224654","https://openalex.org/W2594132308","https://openalex.org/W2761479024","https://openalex.org/W2785495715"],"related_works":["https://openalex.org/W3043327313","https://openalex.org/W3120418740","https://openalex.org/W2127248783","https://openalex.org/W4386615525","https://openalex.org/W2794800068","https://openalex.org/W146045787","https://openalex.org/W2620120051","https://openalex.org/W4295918990","https://openalex.org/W7036972707","https://openalex.org/W3038600945"],"abstract_inverted_index":{"State-of-the-art":[0],"theorem":[1],"provers,":[2],"combined":[3],"with":[4],"smart":[5],"sampling":[6],"heuristics,":[7],"can":[8,55],"generate":[9],"millions":[10],"of":[11,24,29,52,95],"test":[12,36,128,159,172],"cases":[13],"in":[14],"just":[15],"a":[16,49,92,119],"few":[17],"hours.":[18],"But":[19],"given":[20],"the":[21],"heuristic":[22],"nature":[23],"those":[25,30,46,82,87,184],"methods,":[26],"not":[27,65],"all":[28,45,105],"tests":[31,147,169],"may":[32,38],"be":[33,56],"valid.":[34],"Also,":[35,140],"engineers":[37,160],"find":[39,162],"it":[40,98,163],"too":[41],"burdensome":[42],"to":[43,68,79,103,124,133,138,166,176,181],"run":[44],"tests.":[47,84,107,156],"\r\nWithin":[48],"large":[50],"space":[51,94],"tests,":[53],"there":[54],"redundancies":[57],"(duplicate":[58],"entries":[59,62],"or":[60],"similar":[61],"that":[63,145],"do":[64],"contribute":[66],"much":[67],"overall":[69],"diversity).":[70],"Our":[71],"approach,":[72],"called":[73],"SNAP":[74,90,102],"uses":[75],"specialized":[76],"sub-sampling":[77],"heuristics":[78],"avoid":[80],"finding":[81],"repeated":[83,88],"By":[85],"avoiding":[86],"structures":[89],"explores":[91],"smaller":[93,179],"options.":[96],"Hence,":[97],"is":[99],"possible":[100],"for":[101],"verify":[104],"its":[106],"\r\nTo":[108],"evaluate":[109],"SNAP,":[110],"this":[111],"paper":[112],"applied":[113],"27":[114],"real-world":[115],"case":[116,129],"studies":[117],"from":[118],"recent":[120],"ICSE'18":[121],"paper.":[122],"Compared":[123],"prior":[125,142,187],"results,":[126],"SNAP's":[127,168],"generation":[130],"was":[131],"10":[132,175],"3000":[134],"times":[135,178],"faster":[136],"(median":[137,180],"max).":[139],"while":[141],"work":[143],"showed":[144],"their":[146],"were":[148],"70%":[149],"valid,":[150],"our":[151,171],"method":[152],"generates":[153],"100%":[154],"valid":[155],"Most":[157],"importantly,":[158],"would":[161],"relatively":[164],"easiest":[165],"apply":[167],"since":[170],"suites":[173],"are":[174],"750":[177],"max)":[182],"than":[183],"generated":[185],"using":[186],"work.":[188]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2019-05-29T00:00:00"}