{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:34:49Z","timestamp":1725874489128},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319516752"},{"type":"electronic","value":"9783319516769"}],"license":[{"start":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T00:00:00Z","timestamp":1481932800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51676-9_7","type":"book-chapter","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T07:14:29Z","timestamp":1481958869000},"page":"103-119","source":"Crossref","is-referenced-by-count":0,"title":["Failing Faster: Overlapping Patterns for Property-Based Testing"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Fowler","sequence":"first","affiliation":[]},{"given":"Graham","family":"Hutton","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,17]]},"reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"crossref","first-page":"776","DOI":"10.1145\/347476.347484","volume":"47","author":"S Antoy","year":"2000","unstructured":"Antoy, S., Echahed, R., Hanus, M.: A needed narrowing strategy. J. ACM 47(4), 776\u2013822 (2000)","journal-title":"J. ACM"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-540-78969-7_23","volume-title":"Functional and Logic Programming","author":"J Christiansen","year":"2008","unstructured":"Christiansen, J., Fischer, S.: EasyCheck \u2014 test data for free. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol. 4989, pp. 322\u2013336. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78969-7_23"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-319-07151-0_2","volume-title":"Functional and Logic Programming","author":"K Claessen","year":"2014","unstructured":"Claessen, K., Dureg\u00e5rd, J., Pa\u0142ka, M.H.: Generating constrained random\u00a0data with\u00a0uniform\u00a0distribution. In: Codish, M., Sumii, E. (eds.) FLOPS 2014. LNCS, vol. 8475, pp. 18\u201334. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-07151-0_2"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: International Conference on Functional Programming (2000)","DOI":"10.1145\/351240.351266"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Cockx, J.: Overlapping and Order-Independent Patterns in Type Theory. Ph.D. thesis, Master thesis, KU Leuven (2013)","DOI":"10.1007\/978-3-642-54833-8_6"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-54833-8_6","volume-title":"Programming Languages and Systems","author":"J Cockx","year":"2014","unstructured":"Cockx, J., Piessens, F., Devriese, D.: Overlapping and order-independent patterns. In: Shao, Z. (ed.) ESOP 2014. LNCS, vol. 8410, pp. 87\u2013106. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54833-8_6"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Dureg\u00e5rd, J., Jansson, P., Wang, M.: Feat: functional enumeration of algebraic types. In: Haskell Symposium, vol. 47, no. 12 (2012)","DOI":"10.1145\/2364506.2364515"},{"key":"7_CR8","unstructured":"Fowler, J.: The overlap check system for property-based testing (2016). https:\/\/github.com\/JonFowler\/OverlapCheck"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-319-39110-6_2","volume-title":"Trends in Functional Programming","author":"J Fowler","year":"2016","unstructured":"Fowler, J., Huttom, G.: Towards a theory of reach. In: Serrano, M., Hage, J. (eds.) TFP 2015. LNCS, vol. 9547, pp. 22\u201339. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-39110-6_2"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Hanus, M.: A unified computation model for functional and logic programming. In: Symposium on Principles of Programming Languages (1997)","DOI":"10.1145\/263699.263710"},{"key":"7_CR11","unstructured":"Hanus, M.: Curry - An Integrated Functional Logic Language. Technical report (2016)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Hritcu, C., Hughes, J., Pierce, B.C., Spector-Zabusky, A., Vytiniotis, D., Azevedo de Amorim, A., Lampropoulos, L.: Testing noninterference, quickly. In: ACM SIGPLAN Notices, vol. 48 (2013)","DOI":"10.1145\/2500365.2500574"},{"key":"7_CR13","unstructured":"Lindblad, F.: Property directed generation of first-order test data. In: Symposium on the Trends in Functional Programming (2007)"},{"issue":"1","key":"7_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0956796807006326","volume":"18","author":"C McBride","year":"2008","unstructured":"McBride, C., Paterson, R.: Applicative programming with effects. J. Funct. Program. 18(1), 1\u201313 (2008)","journal-title":"J. Funct. Program."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Naylor, M., Runciman, C.: Finding inputs that reach a target expression. In: International Conference on Source Code Analysis and Manipulation (2007)","DOI":"10.1109\/SCAM.2007.30"},{"key":"7_CR16","unstructured":"Naylor, M.F.: Hardware-Assisted and Target-Directed Evaluation of Functional Programs. Ph.D. thesis. University of York (2008)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Pa\u0142ka, M.H., Claessen, K., Russo, A., Hughes, J.: Testing an optimising compiler by generating random lambda terms. In: International Workshop on Automation of Software Test (2011)","DOI":"10.1145\/1982595.1982615"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-41582-1_4","volume-title":"Implementation and Application of Functional Languages","author":"JS Reich","year":"2013","unstructured":"Reich, J.S., Naylor, M., Runciman, C.: Advances in lazy smallcheck. In: Hinze, R. (ed.) IFL 2012. LNCS, vol. 8241, pp. 53\u201370. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-41582-1_4"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Runciman, C., Naylor, M., Lindblad, F.: SmallCheck and lazy smallcheck automatic exhaustive testing for small values. In: Symposium on Haskell (2008)","DOI":"10.1145\/1411286.1411292"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51676-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,17]],"date-time":"2022-07-17T13:55:28Z","timestamp":1658066128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51676-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,17]]},"ISBN":["9783319516752","9783319516769"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51676-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,17]]}}}