{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:47:31Z","timestamp":1780994851754,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T00:00:00Z","timestamp":1158364800000},"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":[[2006,9,16]]},"DOI":"10.1145\/1159789.1159792","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"2-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":131,"title":["Testing telecoms software with quviq QuickCheck"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Arts","sequence":"first","affiliation":[{"name":"IT University of G\u00f6teborg, Gothenburg, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Hughes","sequence":"additional","affiliation":[{"name":"Chalmers University, Gothenburg, Sweden and Quviq AB"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joakim","family":"Johansson","sequence":"additional","affiliation":[{"name":"Ericsson AB, \u00c4lvsj\u00f6, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ulf","family":"Wiger","sequence":"additional","affiliation":[{"name":"Ericsson AB, \u00c4lvsj\u00f6, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the fifth conference on Software Engineering Research and Practice in Sweden","author":"Arts Thomas","year":"2005","unstructured":"Thomas Arts , Koen Claessen , John Hughes , and Hans Svensson . Testing implementations of formally verified algorithms . In Proceedings of the fifth conference on Software Engineering Research and Practice in Sweden , October 20-21 2005 . Thomas Arts, Koen Claessen, John Hughes, and Hans Svensson. Testing implementations of formally verified algorithms. In Proceedings of the fifth conference on Software Engineering Research and Practice in Sweden, October 20-21 2005."},{"key":"e_1_3_2_1_2_1","volume-title":"Ninth International Erlang\/OTP User Conference","author":"Arts Thomas","year":"2003","unstructured":"Thomas Arts and John Hughes . Erlang\/quickcheck. In Ninth International Erlang\/OTP User Conference , November 2003 . Thomas Arts and John Hughes. Erlang\/quickcheck. In Ninth International Erlang\/OTP User Conference, November 2003."},{"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":"Internet proposed standard","author":"David","year":"2005","unstructured":"David H. Crocker and Paul Overell. Augmented BNF for syntax specifications: ABNF. Technical report , Internet proposed standard , October 2005 . David H. Crocker and Paul Overell. Augmented BNF for syntax specifications: ABNF. Technical report, Internet proposed standard, October 2005."},{"key":"e_1_3_2_1_5_1","volume-title":"Software Test Automation - Effective use of test execution tools","author":"Fewster Marc","year":"1999","unstructured":"Marc Fewster and Dorothy Graham . Software Test Automation - Effective use of test execution tools . ACM press\/Addison-Wesley , 1999 . Marc Fewster and Dorothy Graham. Software Test Automation - Effective use of test execution tools. ACM press\/Addison-Wesley, 1999."},{"key":"e_1_3_2_1_6_1","volume-title":"Information processing systems - Open Systems Interconnection (OSI) - specification of Abstract Syntax Notation One (ASN.1). Technical report","author":"International Organization for Standardization.","year":"1995","unstructured":"International Organization for Standardization. Information processing systems - Open Systems Interconnection (OSI) - specification of Abstract Syntax Notation One (ASN.1). Technical report , 1995 . International Organization for Standardization. Information processing systems - Open Systems Interconnection (OSI) - specification of Abstract Syntax Notation One (ASN.1). Technical report, 1995."}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","location":"Portland Oregon USA","acronym":"ICFP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2006 ACM SIGPLAN  workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159789.1159792","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159789.1159792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:18Z","timestamp":1750278138000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159789.1159792"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":6,"alternative-id":["10.1145\/1159789.1159792","10.1145\/1159789"],"URL":"https:\/\/doi.org\/10.1145\/1159789.1159792","relation":{},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}