{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T16:02:13Z","timestamp":1774368133169,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,9,27]],"date-time":"2008-09-27T00:00:00Z","timestamp":1222473600000},"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":[[2008,9,27]]},"DOI":"10.1145\/1411273.1411276","type":"proceedings-article","created":{"date-parts":[[2008,9,30]],"date-time":"2008-09-30T13:03:19Z","timestamp":1222779799000},"page":"9-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Early fault detection with model-based testing"],"prefix":"10.1145","author":[{"given":"Jonas","family":"Boberg","sequence":"first","affiliation":[{"name":"Erlang Training and Consulting Ltd., London, England UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,9,27]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.962984"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.v9:1"},{"key":"e_1_3_2_2_3_1","volume-title":"International Conference on Practical Software Quality. Software Productivity Consortium, NFP","author":"Blackburn Mark","year":"2004"},{"key":"e_1_3_2_2_4_1","volume-title":"Morgan Kaufmann Publishers Inc.","author":"Utting Mark","year":"2006"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.264"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.25"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337467"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2003.10.017"},{"key":"e_1_3_2_2_9_1","volume-title":"Department of Systems and Software Engineering","author":"Damm Lars-Ola","year":"2007"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302640"},{"key":"e_1_3_2_2_11_1","volume-title":"The University of Waikato (New Zealand)","author":"Utting Mark","year":"2006"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062529"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773808.2774078"},{"key":"e_1_3_2_2_14_1","volume-title":"Microsoft Research","author":"Campbell Colin","year":"2005"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312926"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"e_1_3_2_2_17_1","volume-title":"Pragmatic Bookshelf","author":"Armstrong Joe","year":"2007"},{"key":"e_1_3_2_2_18_1","volume-title":"1st European Conference on Model Driven Software Engineering. AGEDIS","author":"Craggs Ian","year":"2003"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.11.007"},{"key":"e_1_3_2_2_20_1","unstructured":"Ram Chillarege and Kathryn A. Bassin. Software triggers as a function of time - odc on field faults. DCCA-5: Fifth IFIP Working Conference on Dependable Computing for Critical Applications September 1995.  Ram Chillarege and Kathryn A. Bassin. Software triggers as a function of time - odc on field faults. DCCA-5: Fifth IFIP Working Conference on Dependable Computing for Critical Applications September 1995."},{"key":"e_1_3_2_2_21_1","volume-title":"PodiatryNow","author":"Vernon Wesley","year":"2007"},{"key":"e_1_3_2_2_22_1","unstructured":"Jeniffer Stapleton. DSDM Business Focused Development Second Edition. Pearson Education 2003.  Jeniffer Stapleton. DSDM Business Focused Development Second Edition. Pearson Education 2003."},{"key":"e_1_3_2_2_23_1","volume-title":"Sage Publications Inc.","author":"Creswell John W.","year":"2003"},{"key":"e_1_3_2_2_24_1","unstructured":"Network Working Group. Request for comments 3501 - internet message access protocol - version 4 rev1. The Internet Engineering Task Force http:\/\/www.ietf.org\/rfc\/rfc3501.txt March 2003.  Network Working Group. Request for comments 3501 - internet message access protocol - version 4 rev1. The Internet Engineering Task Force http:\/\/www.ietf.org\/rfc\/rfc3501.txt March 2003."},{"key":"e_1_3_2_2_25_1","unstructured":"Network Working Group. Request for comments 2045 - multipurpose internet mail extensions (mime) part one: Format of internet message bodies. The Internet Engineering Task Force http:\/\/www.ietf.org\/rfc\/rfc2045.txt November 1996.  Network Working Group. Request for comments 2045 - multipurpose internet mail extensions (mime) part one: Format of internet message bodies. The Internet Engineering Task Force http:\/\/www.ietf.org\/rfc\/rfc2045.txt November 1996."},{"key":"e_1_3_2_2_26_1","volume-title":"Open Mobile Alliance Ltd","author":"Village Wireless","year":"2002"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343384"},{"key":"e_1_3_2_2_28_1","first-page":"9","volume-title":"Specification and validation methods","author":"Gurevich Yuri","year":"1995"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2004.27"}],"event":{"name":"ICFP08: ACM SIGPLAN International Conference on Functional Programming","location":"Victoria BC Canada","acronym":"ICFP08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 7th ACM SIGPLAN workshop on ERLANG"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411273.1411276","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1411273.1411276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:47Z","timestamp":1750253387000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411273.1411276"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,27]]},"references-count":29,"alternative-id":["10.1145\/1411273.1411276","10.1145\/1411273"],"URL":"https:\/\/doi.org\/10.1145\/1411273.1411276","relation":{},"subject":[],"published":{"date-parts":[[2008,9,27]]},"assertion":[{"value":"2008-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}