{"id":"https://openalex.org/W2084796420","doi":"https://doi.org/10.1145/2463372.2463549","title":"A theoretical runtime and empirical analysis of different alternating variable searches for search-based testing","display_name":"A theoretical runtime and empirical analysis of different alternating variable searches for search-based testing","publication_year":2013,"publication_date":"2013-07-06","ids":{"openalex":"https://openalex.org/W2084796420","doi":"https://doi.org/10.1145/2463372.2463549","mag":"2084796420"},"language":"en","primary_location":{"id":"doi:10.1145/2463372.2463549","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2463372.2463549","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th annual conference on Genetic and evolutionary computation","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/A5043429820","display_name":"Joseph Kempka","orcid":null},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Joseph Kempka","raw_affiliation_strings":["University of Sheffield, Sheffield, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Sheffield, Sheffield, United Kingdom","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078598020","display_name":"Phil McMinn","orcid":"https://orcid.org/0000-0001-9137-7433"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Phil McMinn","raw_affiliation_strings":["University of Sheffield, Sheffield, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Sheffield, Sheffield, United Kingdom","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018789989","display_name":"Dirk Sudholt","orcid":"https://orcid.org/0000-0001-6020-1646"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dirk Sudholt","raw_affiliation_strings":["University of Sheffield, Sheffield, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Sheffield, Sheffield, United Kingdom","institution_ids":["https://openalex.org/I91136226"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5043429820"],"corresponding_institution_ids":["https://openalex.org/I91136226"],"apc_list":null,"apc_paid":null,"fwci":1.9442,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.86779964,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1445","last_page":"1452"},"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.9998999834060669,"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.9998999834060669,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9958999752998352,"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/T10533","display_name":"Teaching and Learning Programming","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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.7449491024017334},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.6269940137863159},{"id":"https://openalex.org/keywords/conjunction","display_name":"Conjunction (astronomy)","score":0.47489848732948303},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3684873878955841},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35555240511894226},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3300411105155945},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16592806577682495}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7449491024017334},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.6269940137863159},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.47489848732948303},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3684873878955841},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35555240511894226},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3300411105155945},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16592806577682495},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"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":1,"locations":[{"id":"doi:10.1145/2463372.2463549","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2463372.2463549","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th annual conference on Genetic and evolutionary computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5515407205","display_name":null,"funder_award_id":"EP/I010386/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":23,"referenced_works":["https://openalex.org/W1605768620","https://openalex.org/W1784300750","https://openalex.org/W1965335252","https://openalex.org/W1981241191","https://openalex.org/W2041470132","https://openalex.org/W2059676477","https://openalex.org/W2078646307","https://openalex.org/W2080268930","https://openalex.org/W2100137329","https://openalex.org/W2100212789","https://openalex.org/W2101629181","https://openalex.org/W2109596254","https://openalex.org/W2114869486","https://openalex.org/W2116902835","https://openalex.org/W2137614605","https://openalex.org/W2139685357","https://openalex.org/W2178151466","https://openalex.org/W2339127734","https://openalex.org/W3007533873","https://openalex.org/W4251988601","https://openalex.org/W4301819068","https://openalex.org/W6665486316","https://openalex.org/W6959603429"],"related_works":["https://openalex.org/W1573992054","https://openalex.org/W1599690842","https://openalex.org/W2753053412","https://openalex.org/W2665157442","https://openalex.org/W3108840034","https://openalex.org/W4388169484","https://openalex.org/W2363259562","https://openalex.org/W3036937347","https://openalex.org/W3149224203","https://openalex.org/W2914339338"],"abstract_inverted_index":{"The":[0],"Alternating":[1],"Variable":[2],"Method":[3],"(AVM)":[4],"has":[5,25,30],"been":[6,26],"shown":[7],"to":[8,32,77],"be":[9,50],"a":[10],"surprisingly":[11],"effective":[12],"and":[13,36,58],"efficient":[14],"means":[15],"of":[16,72,98,100],"generating":[17],"branch-covering":[18],"inputs":[19],"for":[20],"procedural":[21],"programs.":[22],"However,":[23],"there":[24],"little":[27],"work":[28],"that":[29,48,66,96],"sought":[31],"analyse":[33],"the":[34,55,70,79],"technique":[35],"further":[37],"improve":[38],"its":[39],"performance.":[40],"This":[41],"paper":[42],"proposes":[43],"two":[44],"new":[45],"local":[46],"searches":[47,74],"may":[49],"used":[51],"in":[52,105],"conjunction":[53],"with":[54,91],"AVM,":[56],"Geometric":[57],"Lattice":[59],"Search.":[60],"A":[61],"theoretical":[62,83],"runtime":[63],"analysis":[64],"shows":[65,95],"under":[67],"certain":[68],"conditions,":[69],"use":[71],"these":[73],"is":[75],"proven":[76],"outperform":[78],"original":[80],"AVM.":[81],"These":[82],"results":[84],"are":[85,103],"confirmed":[86],"by":[87],"an":[88],"empirical":[89],"study":[90],"four":[92],"programs,":[93],"which":[94],"increases":[97],"speed":[99],"over":[101],"50%":[102],"possible":[104],"practice.":[106]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}