Software Testing, Verification and Reliability最新文献

{"title":"Mutation analysis and its industrial applications","authors":"Rahul Gopinath, Jie M. Zhang, Marinos Kintis, Mike Papadakis","doi":"10.1002/stvr.1831","DOIUrl":"https://doi.org/10.1002/stvr.1831","url":null,"abstract":"<p>We are pleased to introduce the second part of the special issue on Mutation Testing of the <i>Journal of Software Testing, Verification &amp; Reliability</i>.</p>\u0000<div>The issue features the following four papers: <ol start=\"\">\u0000<li><b>HOTFUZ: cost-effective higher-order mutation-based fault localization</b> by <i>Jong-In Jang, Duksan Ryu, and Jongmoon Baik</i> which proposes HOTFUZ, a novel cost-effective tool for reducing the cost of mutation-based fault localization (MBFL). HOTFUZ uses higher order mutations to evaluate multiple mutations at once which reduces the cost of mutation testing, which is a significant impediment in MBFL techniques.</li>\u0000<li><b>MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software</b> by <i>Lingjun Liu, Eunkyoung Jee and Doo-Hwan Bae</i>. This paper presents MuFBDTester, an automated test sequence generation tool using mutation testing techniques for Function Block Diagram (FBD) programs. MuFBDTester translates the given program and mutants into the input language of a Satisfiability Modulo Theories (SMT) solver to derive a set of test sequences.</li>\u0000<li><b>TRANSMUT–Spark: Transformation Mutation for Apache Spark</b> by <i>Joao Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, and Martin A. Musicante</i>. The paper explores the application of mutation testing in Apache Spark programs, and proposes TRANSMUT-Spark for automating mutation testing of Big Data processing code within Apache Spark programs.</li>\u0000<li><b>A mapping study on mutation testing for mobile applications</b> by <i>Henrique Neves da Silva, Jackson Antonio do Prado Lima, Silvia Regina Vergilio and Andre Takeshi Endo</i>, which analyzed 16 primary studies according to the trends and statistics about the field, the study characteristics (such as focus, proposed operators, and automated support for the mutation testing phases), and the evaluation aspects.</li>\u0000</ol>\u0000</div>\u0000<p>We thank the editors, authors, and reviewers for their efforts to successfully complete this special issue.</p>","PeriodicalId":501413,"journal":{"name":"Software Testing, Verification and Reliability","volume":"4 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138521289","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}