{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T13:50:56Z","timestamp":1750859456740,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,16]],"date-time":"2013-09-16T00:00:00Z","timestamp":1379289600000},"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":[[2013,9,16]]},"DOI":"10.1145\/2505879.2505880","type":"proceedings-article","created":{"date-parts":[[2013,9,17]],"date-time":"2013-09-17T19:57:05Z","timestamp":1379447825000},"page":"275-284","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Random testing of purely functional abstract datatypes"],"prefix":"10.1145","author":[{"given":"Stefan","family":"Holdermans","sequence":"first","affiliation":[{"name":"Vector Fabrics"}]}],"member":"320","published-online":{"date-parts":[[2013,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411273.1411275"},{"volume-title":"ACM Press","year":"1989","author":"Bergstra Jan A.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","unstructured":"Richard Bird. Introduction to Functional Programming using Haskell. Prentice Hall London England UK 2nd edition 1998.   Richard Bird. Introduction to Functional Programming using Haskell . Prentice Hall London England UK 2nd edition 1998."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086397"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581696"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/357139.357140"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Marie-Claude\n       \n      Gaudel\n     and \n      \n      \n      Pascale Le\n       \n      Gall\n    .\n      \n  \n   \n  Testing data types implementations from algebraic specifications. In Robert M. Hierons Jonathan P. Bown and Mark Harman editors Formal Methods and Testing An Outcome of the FORTEST Network Revised Selected Papers volume \n  4949\n   of \n  Lecture Notes in Computer Science pages \n  209\n  --\n  239\n  . \n  Springer-Verlag 2008\n  .   Marie-Claude Gaudel and Pascale Le Gall. Testing data types implementations from algebraic specifications. In Robert M. Hierons Jonathan P. Bown and Mark Harman editors Formal Methods and Testing An Outcome of the FORTEST Network Revised Selected Papers volume 4949 of Lecture Notes in Computer Science pages 209--239. Springer-Verlag 2008.","DOI":"10.1007\/978-3-540-78917-8_7"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291203"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00260922"},{"key":"e_1_3_2_1_12_1","first-page":"970","volume-title":"Encyclopedia of Software Engineering","author":"Hamlet Richard","year":"1994"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289507"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(81)90030-2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364506.2364514"},{"key":"e_1_3_2_1_16_1","unstructured":"Pieter W. M.\n       \n      Koopman Artem\n       \n      Alimarine Jan\n       \n      Tretmans and \n      \n      \n      Rinus\n       \n      Plasmeijer\n    .\n      \n  \n   \n  Gast: Generic automated software testing. In Ricardo Pe\u00f1a and Thomas Arts editors Implementation of Functional Languages 14th International Workshop IFL\n   \n  2002 Madrid Spain September 16--18 2002 Revised Selected Papers volume \n  2670\n   of \n  Lecture Notes in Computer Science pages \n  84\n  --\n  100\n  . \n  Springer-Verlag 2003.   Pieter W. M. Koopman Artem Alimarine Jan Tretmans and Rinus Plasmeijer. Gast: Generic automated software testing. In Ricardo Pe\u00f1a and Thomas Arts editors Implementation of Functional Languages 14th International Workshop IFL 2002 Madrid Spain September 16--18 2002 Revised Selected Papers volume 2670 of Lecture Notes in Computer Science pages 84--100. Springer-Verlag 2003."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34407-7_8"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/800233.807045"},{"volume-title":"The MIT Press","year":"1997","author":"Milner Robin","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Chris Okasaki. Purely Functional Data Structures. Cambridge University Press Cambridge England U.K. 1999.   Chris Okasaki. Purely Functional Data Structures . Cambridge University Press Cambridge England U.K. 1999.","DOI":"10.1017\/CBO9780511530104"},{"key":"e_1_3_2_1_21_1","unstructured":"Simon Peyton Jones editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press Cambridge England U.K. 2003.  Simon Peyton Jones editor. Haskell 98 Language and Libraries: The Revised Report . Cambridge University Press Cambridge England U.K. 2003."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/24697.24706"},{"volume-title":"The MIT Press","year":"1990","author":"Wirsing Martin","key":"e_1_3_2_1_24_1"}],"event":{"name":"PPDP '13: 15th International Symposium on Principles and Practice of Declarative Programming","sponsor":["Universidad Complutense de Madrid","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Madrid Spain","acronym":"PPDP '13"},"container-title":["Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2505879.2505880","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2505879.2505880","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:16Z","timestamp":1750232056000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2505879.2505880"}},"subtitle":["guidelines for dealing with operation invariance"],"short-title":[],"issued":{"date-parts":[[2013,9,16]]},"references-count":23,"alternative-id":["10.1145\/2505879.2505880","10.1145\/2505879"],"URL":"https:\/\/doi.org\/10.1145\/2505879.2505880","relation":{},"subject":[],"published":{"date-parts":[[2013,9,16]]},"assertion":[{"value":"2013-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}