{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T01:00:36Z","timestamp":1760317236303,"version":"build-2065373602"},"reference-count":49,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1016\/j.infsof.2025.107860","type":"journal-article","created":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T15:55:23Z","timestamp":1755878123000},"page":"107860","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Coverage metrics for actor model programs: A model-based approach"],"prefix":"10.1016","volume":"188","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-8732-8004","authenticated-orcid":false,"given":"Sajad","family":"Jalali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8308-0349","authenticated-orcid":false,"given":"Seyed-Hassan","family":"Mirian-Hosseinabadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.infsof.2025.107860_b1","unstructured":"H. Krasner, The cost of poor software quality in the US: A 2020 report, in: Proc. Consortium Inf. Softw. QualityTM, CISQTM, 2021."},{"year":"2016","series-title":"Introduction to Software Testing","author":"Ammann","key":"10.1016\/j.infsof.2025.107860_b2"},{"year":"2011","series-title":"The Art of Software Testing","author":"Myers","key":"10.1016\/j.infsof.2025.107860_b3"},{"key":"10.1016\/j.infsof.2025.107860_b4","doi-asserted-by":"crossref","unstructured":"A. Groce, M.A. Alipour, R. Gopinath, Coverage and its discontents, in: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, 2014, pp. 255\u2013268.","DOI":"10.1145\/2661136.2661157"},{"issue":"1","key":"10.1016\/j.infsof.2025.107860_b5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","article-title":"Basic concepts and taxonomy of dependable and secure computing","volume":"1","author":"Avizienis","year":"2004","journal-title":"IEEE Trans. Depend. Secur. Comput."},{"key":"10.1016\/j.infsof.2025.107860_b6","doi-asserted-by":"crossref","unstructured":"A. Bron, E. Farchi, Y. Magid, Y. Nir, S. Ur, Applications of synchronization coverage, in: Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005, pp. 206\u2013212.","DOI":"10.1145\/1065944.1065972"},{"key":"10.1016\/j.infsof.2025.107860_b7","series-title":"2019 34th IEEE\/ACM International Conference on Automated Software Engineering","first-page":"722","article-title":"Map-coverage: A novel coverage criterion for testing thread-safe classes","author":"Wang","year":"2019"},{"key":"10.1016\/j.infsof.2025.107860_b8","series-title":"Advance Papers of the Conference","first-page":"235","article-title":"Session 8 formalisms for artificial intelligence a universal modular actor formalism for artificial intelligence","volume":"Vol. 3","author":"Hewitt","year":"1973"},{"year":"1986","series-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"Agha","key":"10.1016\/j.infsof.2025.107860_b9"},{"key":"10.1016\/j.infsof.2025.107860_b10","series-title":"CAV Workshop on Exploiting Concurrency Efficiently and Correctly","article-title":"Concurrency at microsoft: An exploratory survey","author":"Godefroid","year":"2008"},{"year":"2023","series-title":"How groupon scales personalized offers to 48 million customers on time","key":"10.1016\/j.infsof.2025.107860_b11"},{"year":"2023","series-title":"PayPal blows past 1 billion transactions per day using just 8 VMs with Akka, Scala, Kafka and AkkaStreams","key":"10.1016\/j.infsof.2025.107860_b12"},{"year":"2023","series-title":"Akka","key":"10.1016\/j.infsof.2025.107860_b13"},{"year":"2023","series-title":"Orleans: Distributed virtual actors for programmability and scalability","key":"10.1016\/j.infsof.2025.107860_b14"},{"key":"10.1016\/j.infsof.2025.107860_b15","first-page":"1","article-title":"Programming Erlang: software for a concurrent world","author":"Armstrong","year":"2013","journal-title":"Program. Erlang"},{"key":"10.1016\/j.infsof.2025.107860_b16","doi-asserted-by":"crossref","unstructured":"R.K. Karmani, A. Shali, G. Agha, Actor frameworks for the JVM platform: a comparative analysis, in: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009, pp. 11\u201320.","DOI":"10.1145\/1596655.1596658"},{"year":"2023","series-title":"Xstate is a state management and orchestration solution for JavaScript and TypeScript apps","key":"10.1016\/j.infsof.2025.107860_b17"},{"year":"2023","series-title":"Ray is a unified framework for scaling AI and python applications","key":"10.1016\/j.infsof.2025.107860_b18"},{"key":"10.1016\/j.infsof.2025.107860_b19","doi-asserted-by":"crossref","unstructured":"Y. Long, M. Bagherzadeh, E. Lin, G. Upadhyaya, H. Rajan, On ordering problems in message passing software, in: Proceedings of the 15th International Conference on Modularity, 2016, pp. 54\u201365.","DOI":"10.1145\/2889443.2889444"},{"key":"10.1016\/j.infsof.2025.107860_b20","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/s10664-011-9166-8","article-title":"Location pairs: a test coverage metric for shared-memory concurrent programs","volume":"17","author":"Tasiran","year":"2012","journal-title":"Empir. Softw. Eng."},{"issue":"4","key":"10.1016\/j.infsof.2025.107860_b21","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1002\/stvr.1539","article-title":"Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation","volume":"25","author":"Hong","year":"2015","journal-title":"Softw. Test. Verif. Reliab."},{"key":"10.1016\/j.infsof.2025.107860_b22","series-title":"Proceedings of COMPASS\u201994-1994 IEEE 9th Annual Conference on Computer Assurance","first-page":"69","article-title":"Using formal methods to derive test frames in category-partition testing","author":"Ammann","year":"1994"},{"key":"10.1016\/j.infsof.2025.107860_b23","series-title":"Proceedings ACS\/IEEE International Conference on Computer Systems and Applications","first-page":"304","article-title":"A measure for component interaction test coverage","author":"Williams","year":"2001"},{"key":"10.1016\/j.infsof.2025.107860_b24","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1007\/s10664-006-9024-2","article-title":"An evaluation of combination strategies for test case selection","volume":"11","author":"Grindal","year":"2006","journal-title":"Empir. Softw. Eng."},{"key":"10.1016\/j.infsof.2025.107860_b25","unstructured":"S. Pimont, J.-C. Rault, A software reliability assessment based on a structural and behavioral analysis of programs, in: Proceedings of the 2nd International Conference on Software Engineering, 1976, pp. 486\u2013491."},{"key":"10.1016\/j.infsof.2025.107860_b26","series-title":"2009 International Conference on Software Testing, Verification, and Validation Workshops","first-page":"220","article-title":"An experimental comparison of four unit test criteria: Mutation, edge-pair, all-uses and prime path coverage","author":"Li","year":"2009"},{"key":"10.1016\/j.infsof.2025.107860_b27","doi-asserted-by":"crossref","unstructured":"J.H. Andrews, L.C. Briand, Y. Labiche, Is mutation an appropriate tool for testing experiments?, in: Proceedings of the 27th International Conference on Software Engineering, 2005, pp. 402\u2013411.","DOI":"10.1109\/ICSE.2005.1553583"},{"year":"1979","series-title":"Mutation Analysis","author":"Acree","key":"10.1016\/j.infsof.2025.107860_b28"},{"issue":"3","key":"10.1016\/j.infsof.2025.107860_b29","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/32.126769","article-title":"Structural testing of concurrent programs","volume":"18","author":"Taylor","year":"1992","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"10.1016\/j.infsof.2025.107860_b30","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/271775.271804","article-title":"All-du-path coverage for parallel programs","volume":"23","author":"Yang","year":"1998","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"10.1016\/j.infsof.2025.107860_b31","doi-asserted-by":"crossref","unstructured":"S. Lu, W. Jiang, Y. Zhou, A study of interleaving coverage criteria, in: The 6th Joint Meeting on European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering: Companion Papers, 2007, pp. 533\u2013536.","DOI":"10.1145\/1295014.1295034"},{"year":"2017","series-title":"Verifying synchronization coverage in logic code","author":"Tzoref","key":"10.1016\/j.infsof.2025.107860_b32"},{"key":"10.1016\/j.infsof.2025.107860_b33","doi-asserted-by":"crossref","unstructured":"S. Hong, J. Ahn, S. Park, M. Kim, M.J. Harrold, Testing concurrent programs to achieve high synchronization coverage, in: Proceedings of the 2012 International Symposium on Software Testing and Analysis, 2012, pp. 210\u2013220.","DOI":"10.1145\/2338965.2336779"},{"key":"10.1016\/j.infsof.2025.107860_b34","series-title":"Ninth IEEE International Symposium on High-Assurance Systems Engineering","first-page":"66","article-title":"A novel framework for non-deterministic testing of message-passing programs","author":"Lei","year":"2005"},{"key":"10.1016\/j.infsof.2025.107860_b35","doi-asserted-by":"crossref","unstructured":"M. Ganji, S. Alimadadi, F. Tip, Code coverage criteria for asynchronous programs, in: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023, pp. 1307\u20131319.","DOI":"10.1145\/3611643.3616292"},{"key":"10.1016\/j.infsof.2025.107860_b36","series-title":"2013 28th IEEE\/ACM International Conference on Automated Software Engineering","first-page":"114","article-title":"Bita: Coverage-guided, automatic testing of actor programs","author":"Tasharofi","year":"2013"},{"key":"10.1016\/j.infsof.2025.107860_b37","series-title":"2010 Third International Conference on Software Testing, Verification, and Validation Workshops","first-page":"157","article-title":"Mutation operators for actor systems","author":"Jagannath","year":"2010"},{"key":"10.1016\/j.infsof.2025.107860_b38","series-title":"2020 IEEE Latin-American Test Symposium","first-page":"1","article-title":"Mutation operators for concurrent programs in elixir","author":"Bordignon","year":"2020"},{"key":"10.1016\/j.infsof.2025.107860_b39","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1016\/j.infsof.2018.08.017","article-title":"Empirical research on concurrent software testing: A systematic mapping study","volume":"105","author":"Melo","year":"2019","journal-title":"Inf. Softw. Technol."},{"key":"10.1016\/j.infsof.2025.107860_b40","series-title":"Programming with Actors: State-of-the-Art and Research Perspectives","first-page":"155","article-title":"A study of concurrency bugs and advanced development support for actor-based programs","author":"Torres Lopez","year":"2018"},{"year":"1992","series-title":"The Z Notation","author":"Spivey","key":"10.1016\/j.infsof.2025.107860_b41"},{"key":"10.1016\/j.infsof.2025.107860_b42","doi-asserted-by":"crossref","unstructured":"A. Gotovos, M. Christakis, K. Sagonas, Test-driven development of concurrent programs using concuerror, in: Proceedings of the 10th ACM SIGPLAN Workshop on Erlang, 2011, pp. 51\u201361.","DOI":"10.1145\/2034654.2034664"},{"key":"10.1016\/j.infsof.2025.107860_b43","series-title":"2013 IEEE Sixth International Conference on Software Testing, Verification and Validation","first-page":"154","article-title":"Systematic testing for detecting concurrency errors in erlang programs","author":"Christakis","year":"2013"},{"key":"10.1016\/j.infsof.2025.107860_b44","series-title":"2009 IEEE\/ACM International Conference on Automated Software Engineering","first-page":"468","article-title":"A framework for state-space exploration of java-based actor programs","author":"Lauterburg","year":"2009"},{"key":"10.1016\/j.infsof.2025.107860_b45","doi-asserted-by":"crossref","unstructured":"Y. Zheng, T. Bao, X. Zhang, Statically locating web application bugs caused by asynchronous calls, in: Proceedings of the 20th International Conference on World Wide Web, 2011, pp. 805\u2013814.","DOI":"10.1145\/1963405.1963517"},{"key":"10.1016\/j.infsof.2025.107860_b46","doi-asserted-by":"crossref","unstructured":"V. Raychev, M. Vechev, M. Sridharan, Effective race detection for event-driven programs, in: Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013, pp. 151\u2013166.","DOI":"10.1145\/2509136.2509538"},{"issue":"6","key":"10.1016\/j.infsof.2025.107860_b47","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1145\/2345156.2254095","article-title":"Race detection for web applications","volume":"47","author":"Petrov","year":"2012","journal-title":"ACM SIGPLAN Not."},{"key":"10.1016\/j.infsof.2025.107860_b48","series-title":"2014 IEEE Seventh International Conference on Software Testing, Verification and Validation","first-page":"61","article-title":"Detecting concurrency errors in client-side java script web applications","author":"Hong","year":"2014"},{"year":"2024","series-title":"Concuerror is a stateless model checking tool for erlang programs","key":"10.1016\/j.infsof.2025.107860_b49"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584925001995?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584925001995?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T00:10:21Z","timestamp":1760227821000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584925001995"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12]]},"references-count":49,"alternative-id":["S0950584925001995"],"URL":"https:\/\/doi.org\/10.1016\/j.infsof.2025.107860","relation":{},"ISSN":["0950-5849"],"issn-type":[{"type":"print","value":"0950-5849"}],"subject":[],"published":{"date-parts":[[2025,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Coverage metrics for actor model programs: A model-based approach","name":"articletitle","label":"Article Title"},{"value":"Information and Software Technology","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.infsof.2025.107860","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2025 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"107860"}}