{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T12:19:20Z","timestamp":1764937160465,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1109\/lats49555.2020.9093675","type":"proceedings-article","created":{"date-parts":[[2020,5,14]],"date-time":"2020-05-14T23:44:03Z","timestamp":1589499843000},"page":"1-6","source":"Crossref","is-referenced-by-count":6,"title":["Mutation Operators for Concurrent Programs in Elixir"],"prefix":"10.1109","author":[{"given":"Matheus","family":"Deon Bordignon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodolfo Adamshuk","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Mutation Analysis of Concurrent Software","year":"1998","author":"silva-barradas","key":"ref10"},{"key":"ref11","article-title":"Mutant operators for testing concurrent Java programs","author":"delamaro","year":"2001","journal-title":"XV Simpósio Brasileiro de ES ser SBES"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2002.1134101"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.10"},{"key":"ref14","first-page":"244","article-title":"Constructing subtle concurrency bugs using synchronization-centric second-order mutation operators","author":"wu","year":"2011","journal-title":"SEKE"},{"key":"ref15","article-title":"Teste de mutação para a validação de aplicacoes concorrentes usando PVM","volume":"2","author":"giacometti","year":"2003","journal-title":"Revista Eletronica de Iniciaciio cientifica ser REIC"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.6"},{"key":"ref17","first-page":"69","article-title":"Mutation testing for concurrent programs in MPI","author":"silva","year":"2012","journal-title":"13th Latin American Test Workshop LATWI2"},{"journal-title":"Learn functional programming with elixir New Foundations for a New World","year":"2018","author":"almeida","key":"ref18"},{"key":"ref19","first-page":"155","author":"lopez","year":"2018","journal-title":"A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs"},{"journal-title":"Mastering Elixir","year":"2018","author":"albuquerque","key":"ref4"},{"key":"ref3","first-page":"1","article-title":"Coverage testing criteria for message passing parallel programs","author":"vergilio","year":"2005","journal-title":"6th IEEE Latin American Test Workshop"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1993.470617"},{"journal-title":"Introdução ao Teste de Software","year":"2017","author":"delamaro","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483773"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.27"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/9781316771273"},{"journal-title":"Adopting Elixir From Concept to Production","year":"2018","author":"marx","key":"ref1"},{"journal-title":"Mutation Operators for Ada","year":"1996","author":"offutt","key":"ref9"}],"event":{"name":"2020 IEEE Latin American Test Symposium (LATS)","start":{"date-parts":[[2020,3,30]]},"location":"Maceio, Brazil","end":{"date-parts":[[2020,4,2]]}},"container-title":["2020 IEEE Latin-American Test Symposium (LATS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9088113\/9093665\/09093675.pdf?arnumber=9093675","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T17:53:18Z","timestamp":1656438798000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9093675\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/lats49555.2020.9093675","relation":{},"subject":[],"published":{"date-parts":[[2020,3]]}}}