{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:06:43Z","timestamp":1767928003821,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":21,"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.1411277","type":"proceedings-article","created":{"date-parts":[[2008,9,30]],"date-time":"2008-09-30T13:03:19Z","timestamp":1222779799000},"page":"21-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Erlang testing and tools survey"],"prefix":"10.1145","author":[{"given":"Tam\u00e1s","family":"Nagy","sequence":"first","affiliation":[{"name":"Erlang Training and Consulting Ltd, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anik\u00f3","family":"Nagyn\u00e9 V\u00edg","sequence":"additional","affiliation":[{"name":"Erlang Training and Consulting Ltd, London, United Kingdom"}],"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.1145\/1159789.1159792"},{"key":"e_1_3_2_2_2_1","volume-title":"1st European Conference on Model-Driven Software Engineering","author":"Barnett Mike","year":"2003"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/940880.940882"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159791"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291171"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007529"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348872"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2391293.2391294"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328408.1328437"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"crossref","unstructured":"Tobias\n       \n      Lindahl\n     and \n      \n      \n      Konstantinos\n       \n      Sagonas\n    .\n      \n  \n   \n  Detecting software defects in telecom applications through lightweight static analysis: A war story. In Chin Wei-Ngan editor Programming Languages and Systems: Proceedings of the Second Asian Symposium (APLAS'04) volume \n  3302\n   of \n  LNCS pages \n  91\n  --\n  106\n  . \n  Springer November \n  2004\n  .  Tobias Lindahl and Konstantinos Sagonas. Detecting software defects in telecom applications through lightweight static analysis: A war story. In Chin Wei-Ngan editor Programming Languages and Systems: Proceedings of the Second Asian Symposium (APLAS'04) volume 3302 of LNCS pages 91--106. Springer November 2004.","DOI":"10.1007\/978-3-540-30477-7_7"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1292520.1292524"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1350802.1350812"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.03.108"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151695.1151697"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/592849.592853"},{"key":"e_1_3_2_2_16_1","unstructured":"Trapexit http:\/\/www.trapexit.org. Jun 2008  Trapexit http:\/\/www.trapexit.org. Jun 2008"},{"key":"e_1_3_2_2_17_1","unstructured":"Erlang http:\/\/www.erlang.org. Jun 2008  Erlang http:\/\/www.erlang.org. Jun 2008"},{"key":"e_1_3_2_2_18_1","unstructured":"ProTest property based testing http:\/\/www.protest-project.eu. June 2008  ProTest property based testing http:\/\/www.protest-project.eu. June 2008"},{"key":"e_1_3_2_2_19_1","unstructured":"Tsung http:\/\/tsung.erlang-projects.org. Jun 2008  Tsung http:\/\/tsung.erlang-projects.org. Jun 2008"},{"key":"e_1_3_2_2_20_1","unstructured":"Sinan http:\/\/code.google.com\/p\/sinan. Jun 2008  Sinan http:\/\/code.google.com\/p\/sinan. Jun 2008"},{"key":"e_1_3_2_2_21_1","unstructured":"Faxien http:\/\/code.google.com\/p\/faxien. Jun 2008  Faxien http:\/\/code.google.com\/p\/faxien. Jun 2008"}],"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.1411277","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1411273.1411277","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.1411277"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,27]]},"references-count":21,"alternative-id":["10.1145\/1411273.1411277","10.1145\/1411273"],"URL":"https:\/\/doi.org\/10.1145\/1411273.1411277","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"}}]}}