{"id":"https://openalex.org/W2958665867","doi":"https://doi.org/10.1145/3319619.3322004","title":"Genetic algorithms as shrinkers in property-based testing","display_name":"Genetic algorithms as shrinkers in property-based testing","publication_year":2019,"publication_date":"2019-07-10","ids":{"openalex":"https://openalex.org/W2958665867","doi":"https://doi.org/10.1145/3319619.3322004","mag":"2958665867"},"language":"en","primary_location":{"id":"doi:10.1145/3319619.3322004","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3319619.3322004","pdf_url":null,"source":{"id":"https://openalex.org/S4363608771","display_name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","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/A5071152151","display_name":"Fang-Yi Lo","orcid":null},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Fang-Yi Lo","raw_affiliation_strings":["National Chiao Tung University, Hsinchu City, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Chiao Tung University, Hsinchu City, Taiwan","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023236233","display_name":"Chao-Hong Chen","orcid":"https://orcid.org/0000-0002-9314-8105"},"institutions":[{"id":"https://openalex.org/I592451","display_name":"Indiana University","ror":"https://ror.org/01kg8sb98","country_code":"US","type":"education","lineage":["https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chao-Hong Chen","raw_affiliation_strings":["Indiana University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indiana University","institution_ids":["https://openalex.org/I592451"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076296753","display_name":"Ying-ping Chen","orcid":"https://orcid.org/0000-0002-5979-6926"},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Ying-ping Chen","raw_affiliation_strings":["National Chiao Tung University, Hsinchu City, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Chiao Tung University, Hsinchu City, Taiwan","institution_ids":["https://openalex.org/I148366613"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"291","last_page":"292"},"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/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9983000159263611,"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/counterexample","display_name":"Counterexample","score":0.7326263785362244},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6768233180046082},{"id":"https://openalex.org/keywords/merge","display_name":"Merge (version control)","score":0.568914532661438},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5591774582862854},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5170776844024658},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.5095131993293762},{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.4332497715950012},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.4142526090145111},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33375850319862366},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2380983531475067},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.20056268572807312},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.18577447533607483},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.11906421184539795},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.081749826669693}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.7326263785362244},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6768233180046082},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.568914532661438},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5591774582862854},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5170776844024658},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.5095131993293762},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.4332497715950012},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.4142526090145111},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33375850319862366},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2380983531475067},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.20056268572807312},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.18577447533607483},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.11906421184539795},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.081749826669693},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3319619.3322004","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3319619.3322004","pdf_url":null,"source":{"id":"https://openalex.org/S4363608771","display_name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322795","display_name":"Ministry of Science and Technology, Taiwan","ror":"https://ror.org/02kv4zf79"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1701372208","https://openalex.org/W2129695855","https://openalex.org/W2464228044","https://openalex.org/W4232095099","https://openalex.org/W4244488020","https://openalex.org/W6604894765"],"related_works":["https://openalex.org/W2349952486","https://openalex.org/W1489260687","https://openalex.org/W2775700832","https://openalex.org/W2587222766","https://openalex.org/W3204670144","https://openalex.org/W2163101548","https://openalex.org/W1988934358","https://openalex.org/W4389574038","https://openalex.org/W4293643564","https://openalex.org/W105332898"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"the":[3,12,27,35,44,66,70,76,85,94,102,112],"use":[4],"of":[5,31,37,46,72],"genetic":[6,96,123],"algorithms":[7,33,124],"as":[8,62,125],"shrinkers":[9],"for":[10,21,52,57,87],"shrinking":[11],"counterexamples":[13],"generated":[14],"by":[15,121],"QuickChick,":[16],"a":[17,63],"property-based":[18,47],"testing":[19,48],"framework":[20],"Coq.":[22],"The":[23,54,89],"present":[24],"study":[25],"incorporates":[26],"flexibility":[28],"and":[29,50],"versatility":[30],"evolutionary":[32],"into":[34],"realm":[36],"rigorous":[38],"software":[39],"development,":[40],"in":[41,65,75],"particular,":[42],"making":[43],"results":[45,91],"observable":[49],"comprehensible":[51],"human.":[53],"program":[55,113],"code":[56],"merge":[58],"sort":[59],"is":[60,80],"investigated":[61],"showcase":[64],"study.":[67],"Due":[68],"to":[69,82,110],"lack":[71],"similar":[73],"proposals":[74],"literature,":[77],"random":[78,99],"sample":[79],"used":[81],"compete":[83],"with":[84,115],"proposal":[86],"comparison.":[88],"experimental":[90],"indicate":[92],"that":[93],"proposed":[95],"algorithm":[97],"outperforms":[98],"sample.":[100],"Moreover,":[101],"minimal":[103],"counterexamples,":[104],"through":[105],"which":[106],"programmers":[107],"are":[108],"able":[109],"pinpoint":[111],"mistakes":[114],"ease,":[116],"can":[117],"be":[118],"successfully":[119],"obtained":[120],"using":[122],"shrinkers.":[126]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}