{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:59Z","timestamp":1750220999191,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T00:00:00Z","timestamp":1562976000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,13]]},"DOI":"10.1145\/3319619.3322004","type":"proceedings-article","created":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T12:10:59Z","timestamp":1562760659000},"page":"291-292","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Genetic algorithms as shrinkers in property-based testing"],"prefix":"10.1145","author":[{"given":"Fang-Yi","family":"Lo","sequence":"first","affiliation":[{"name":"National Chiao Tung University, Hsinchu City, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao-Hong","family":"Chen","sequence":"additional","affiliation":[{"name":"Indiana University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying-ping","family":"Chen","sequence":"additional","affiliation":[{"name":"National Chiao Tung University, Hsinchu City, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,7,13]]},"reference":[{"volume-title":"2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 219--228","author":"Bernhard","key":"e_1_3_2_1_1_1","unstructured":"Bernhard K. Aichernig and Richard Schumi. 2016. Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models . In 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 219--228 . Bernhard K. Aichernig and Richard Schumi. 2016. Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. In 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 219--228."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2899415.2899443"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_4_1","volume-title":"The Coq Workshop.","author":"D\u00e9n\u00e8s Maxime","year":"2014","unstructured":"Maxime D\u00e9n\u00e8s , Catalin Hritcu , Leonidas Lampropoulos , Zoe Paraskevopoulou , and Benjamin C Pierce . 2014 . QuickChick: Property-based testing for Coq . In The Coq Workshop. Maxime D\u00e9n\u00e8s, Catalin Hritcu, Leonidas Lampropoulos, Zoe Paraskevopoulou, and Benjamin C Pierce. 2014. QuickChick: Property-based testing for Coq. In The Coq Workshop."},{"key":"e_1_3_2_1_5_1","unstructured":"The Coq development team. 2004. The Coq proof assistant reference manual. LogiCal Project http:\/\/coq.inria.fr Version 8.0.  The Coq development team. 2004. The Coq proof assistant reference manual. LogiCal Project http:\/\/coq.inria.fr Version 8.0."},{"key":"e_1_3_2_1_6_1","first-page":"1382","article-title":"Formal proof---the four-color theorem","volume":"55","author":"Gonthier Georges","year":"2008","unstructured":"Georges Gonthier . 2008 . Formal proof---the four-color theorem . Notices of the AMS 55 , 11 (2008), 1382 -- 1393 . Georges Gonthier. 2008. Formal proof---the four-color theorem. Notices of the AMS 55, 11 (2008), 1382--1393.","journal-title":"Notices of the AMS"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 12th USENLX Conference on Operating Systems Design and Implementation (OSDI'16)","author":"Gu Ronghui","year":"2016","unstructured":"Ronghui Gu , Zhong Shao , Hao Chen , Xiongnan Wu , Jieung Kim , Vilhelm Sj\u00f6berg , and David Costanzo . 2016 . CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels . In Proceedings of the 12th USENLX Conference on Operating Systems Design and Implementation (OSDI'16) . USENLX Association, Berkeley, CA, USA, 653--669. htfp:\/\/dl.acm.org\/citation.cfm?id=3026877.3026928 Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan Wu, Jieung Kim, Vilhelm Sj\u00f6berg, and David Costanzo. 2016. CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In Proceedings of the 12th USENLX Conference on Operating Systems Design and Implementation (OSDI'16). USENLX Association, Berkeley, CA, USA, 653--669. htfp:\/\/dl.acm.org\/citation.cfm?id=3026877.3026928"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111042"}],"event":{"name":"GECCO '19: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"location":"Prague Czech Republic","acronym":"GECCO '19"},"container-title":["Proceedings of the Genetic and Evolutionary Computation Conference Companion"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3319619.3322004","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3319619.3322004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:39Z","timestamp":1750206339000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3319619.3322004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,13]]},"references-count":8,"alternative-id":["10.1145\/3319619.3322004","10.1145\/3319619"],"URL":"https:\/\/doi.org\/10.1145\/3319619.3322004","relation":{},"subject":[],"published":{"date-parts":[[2019,7,13]]},"assertion":[{"value":"2019-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}