{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:28:11Z","timestamp":1755998891426,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/latw.2012.6261240","type":"proceedings-article","created":{"date-parts":[[2012,8,8]],"date-time":"2012-08-08T17:09:56Z","timestamp":1344445796000},"page":"1-6","source":"Crossref","is-referenced-by-count":10,"title":["Mutation operators for concurrent programs in MPI"],"prefix":"10.1109","author":[{"given":"Rodolfo Adamshuk","family":"Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone do Rocio Senger","family":"de Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo Sergio Lopes","family":"de Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2002.1134101"},{"journal-title":"Mutation Analysis of Concurrent Software","year":"1998","author":"silva-barradas","key":"17"},{"key":"18","article-title":"Mutant operators for testing concurrent java programs","author":"delamaro","year":"2001","journal-title":"XV SBES"},{"key":"15","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1109\/TEST.1993.470617","article-title":"Mutation-based testing of concurrent programs","author":"carver","year":"1993","journal-title":"Proc of International Test Conference"},{"journal-title":"Mutation Operators for Ada","year":"1996","author":"offutt","key":"16"},{"key":"13","first-page":"103","article-title":"Uma contribuiIio para a determinaIio de urn conjunto essencial de operadores de mutaAo no teste de programas C","author":"barbosa","year":"1998","journal-title":"XII Simp6sio Brasileiro de Engenharia de Software (SBES 98) Maringa BR"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/339665.339698"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346062"},{"journal-title":"Mutation","year":"1980","author":"acree","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2009.8"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.10"},{"journal-title":"MPI A Message-Passing Interface Standard Version 2 2","year":"2009","author":"forum","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1145319.1145342"},{"journal-title":"Design of mutant operators for the C programming language","year":"1989","author":"agrawal","key":"24"},{"key":"25","first-page":"249","volume":"2","author":"vincenzi","year":"2001","journal-title":"Unit and Integration Testing for C Programs Using Mutation-based Criteria"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"journal-title":"Operating Systems Design and Implementation","year":"2006","author":"tanenbaum","key":"2"},{"journal-title":"Software Testing and Analysis Process Principles and Techniques","year":"2005","author":"pezze","key":"10"},{"journal-title":"Program-based Structural Testing of Shared Memory Parallel Programs","year":"1999","author":"yang","key":"1"},{"key":"7","article-title":"Mutation testing for validation of pvm applications","volume":"2","author":"giacometti","year":"2003","journal-title":"REIC Revista Eletronica de Iniciaiio Cientffica"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199602)26:2<165::AID-SPE5>3.0.CO;2-K"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69384-0_39"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1297"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.2937"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/75308.75316"}],"event":{"name":"2012 13th Latin American Test Workshop - LATW","start":{"date-parts":[[2012,4,10]]},"location":"Quito, Ecuador","end":{"date-parts":[[2012,4,13]]}},"container-title":["2012 13th Latin American Test Workshop (LATW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6247526\/6261223\/06261240.pdf?arnumber=6261240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T17:10:18Z","timestamp":1562087418000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6261240\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/latw.2012.6261240","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}