{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:18:26Z","timestamp":1759331906877,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,30]],"date-time":"2015-08-30T00:00:00Z","timestamp":1440892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EU","award":["PROWESS 317820"],"award-info":[{"award-number":["PROWESS 317820"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,8,30]]},"DOI":"10.1145\/2804295.2804297","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T14:09:20Z","timestamp":1440425360000},"page":"13-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Smother: an MC\/DC analysis tool for Erlang"],"prefix":"10.1145","author":[{"given":"Ramsay","family":"Taylor","sequence":"first","affiliation":[{"name":"University of Sheffield, UK"}]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[{"name":"University of Sheffield, UK"}]}],"member":"320","published-online":{"date-parts":[[2015,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2000.886883"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291203"},{"key":"e_1_3_2_1_4_1","volume-title":"NASA","author":"Hayhurst K. J.","year":"2001","unstructured":"K. J. Hayhurst , D. S. Veerhusen , J. J. Chilenski , and Rierson L. K . A Practical Tutorial on Modified Condition\/Decision Coverage. Technical report , NASA , 2001 . K. J. Hayhurst, D. S. Veerhusen, J. J. Chilenski, and Rierson L. K. A Practical Tutorial on Modified Condition\/Decision Coverage. Technical report, NASA, 2001."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of Workshop CARS (2nd Workshop on Critical Automotive applications: Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security","author":"Johansson Rolf","year":"2013","unstructured":"Rolf Johansson , Hans Eriksson , Hans Svensson , Kenneth \u00d6stberg , Thomas Arts , Alex Gerdes , Martin Skoglund , Don\u2019t judge software by its (code) coverage . In Proceedings of Workshop CARS (2nd Workshop on Critical Automotive applications: Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security , 2013 . Rolf Johansson, Hans Eriksson, Hans Svensson, Kenneth \u00d6stberg, Thomas Arts, Alex Gerdes, Martin Skoglund, et al. Don\u2019t judge software by its (code) coverage. In Proceedings of Workshop CARS (2nd Workshop on Critical Automotive applications: Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, 2013."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1183927"},{"key":"e_1_3_2_1_7_1","volume-title":"A User-extensible Refactoring Tool for Erlang Programs. Technical report","author":"Li H.","year":"2011","unstructured":"H. Li and S. Thompson . A User-extensible Refactoring Tool for Erlang Programs. Technical report , University of Kent , 2011 . H. Li and S. Thompson. A User-extensible Refactoring Tool for Erlang Programs. Technical report, University of Kent, 2011."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2007.24"},{"first-page":"261b","volume-title":"Annual Hawaii International Conference on","key":"e_1_3_2_1_9_1","unstructured":"40th Annual Hawaii International Conference on , pages 261b\u2013 261b . IEEE, 2007. 40th Annual Hawaii International Conference on, pages 261b\u2013261b. IEEE, 2007."},{"key":"e_1_3_2_1_10_1","volume-title":"Foundations of software testing","author":"Mathur Aditya P","year":"2008","unstructured":"Aditya P Mathur . Foundations of software testing . China Machine Press , 2008 . Aditya P Mathur. Foundations of software testing. China Machine Press, 2008."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368111"},{"key":"e_1_3_2_1_13_1","first-page":"91","volume-title":"Engineering of Computer Based Systems, 2001. ECBS 2001. Proceedings. Eighth Annual IEEE International Conference and Workshop on the","author":"Rayadurgam Sanjai","unstructured":"Sanjai Rayadurgam and Mats Per Erik Heimdahl . Coverage based testcase generation using model checkers . In Engineering of Computer Based Systems, 2001. ECBS 2001. Proceedings. Eighth Annual IEEE International Conference and Workshop on the , pages 83\u2013 91 . IEEE, 2001. Sanjai Rayadurgam and Mats Per Erik Heimdahl. Coverage based testcase generation using model checkers. In Engineering of Computer Based Systems, 2001. ECBS 2001. Proceedings. Eighth Annual IEEE International Conference and Workshop on the, pages 83\u201391. IEEE, 2001."},{"key":"e_1_3_2_1_14_1","volume-title":"SEW, page 91","author":"Rayadurgam Sanjai","year":"2003","unstructured":"Sanjai Rayadurgam and Mats Per Erik Heimdahl . Generating MC\/DC adequate test sequences through model checking . In SEW, page 91 , 2003 . Sanjai Rayadurgam and Mats Per Erik Heimdahl. Generating MC\/DC adequate test sequences through model checking. In SEW, page 91, 2003."},{"key":"e_1_3_2_1_15_1","volume-title":"RTCA","author":"RTCA","year":"1992","unstructured":"RTCA (Firm). SC 167 and RTCA. Special Committee 167 and Eurocae. Working Group 12. Software Considerations in Airborne Systems and Equipment Certification. DO-178B\/ED-12B . RTCA , Incorporated , 1992 . RTCA (Firm). SC 167 and RTCA. Special Committee 167 and Eurocae. Working Group 12. Software Considerations in Airborne Systems and Equipment Certification. DO-178B\/ED-12B. RTCA, Incorporated, 1992."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm021"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.05.030"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"}],"event":{"name":"ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Vancouver BC Canada","acronym":"ICFP'15"},"container-title":["Proceedings of the 14th ACM SIGPLAN Workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804295.2804297","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2804295.2804297","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:09Z","timestamp":1750223229000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804295.2804297"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,30]]},"references-count":18,"alternative-id":["10.1145\/2804295.2804297","10.1145\/2804295"],"URL":"https:\/\/doi.org\/10.1145\/2804295.2804297","relation":{},"subject":[],"published":{"date-parts":[[2015,8,30]]},"assertion":[{"value":"2015-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}