{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T11:43:05Z","timestamp":1778326985459,"version":"3.51.4"},"reference-count":43,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,11]],"date-time":"2020-10-11T00:00:00Z","timestamp":1602374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,11]],"date-time":"2020-10-11T00:00:00Z","timestamp":1602374400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,11]],"date-time":"2020-10-11T00:00:00Z","timestamp":1602374400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100012818","name":"Comunidad de Madrid","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100012818","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,10,11]]},"DOI":"10.1109\/smc42975.2020.9282883","type":"proceedings-article","created":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T21:44:48Z","timestamp":1607982288000},"page":"2190-2195","source":"Crossref","is-referenced-by-count":3,"title":["Using a swarm to detect hard-to-kill mutants"],"prefix":"10.1109","author":[{"given":"Alfredo","family":"Ibias","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Nunez","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2020.113251"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2018.03.015"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.3233\/JIFS-179324"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2019.1640394"},{"key":"ref31","author":"myers","year":"2011","journal-title":"The Art of Software Testing"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.07.013"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2018.00025"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346062"},{"key":"ref35","article-title":"TEA-Cloud: A formal framework for testing cloud computing systems","author":"n\u00fa\u00f1ez","year":"2020","journal-title":"IEEE Transactions on Reliability"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1080\/01969722.2017.1418254"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3233\/JIFS-169144"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/3378936.3378977","article-title":"Survey of swarm intelligence algorithms","author":"selvaraj","year":"2020","journal-title":"3rd Int Conf on Software Engineering and Information Management ICSIM’20"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.05.010"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"110522:1","DOI":"10.1016\/j.jss.2020.110522","article-title":"MT-EA4Cloud: A methodology for testing and optimising energy-aware cloud systems","volume":"163","author":"ca\u00f1izares","year":"2020","journal-title":"Journal of Systems and Software"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09778-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2020.103426"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-018-9425-7"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-018-3850-1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.93"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.01.008"},{"key":"ref19","first-page":"e-24267: 1","article-title":"Generating tree inputs for testing using evolutionary computation techniques","author":"gri\u00f1\u00e1n","year":"2020","journal-title":"22nd IEEE Congress on Evolutionary Computation CEC’20"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.256941"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-019-02980-w"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110738"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-74089-6","author":"blum","year":"2008","journal-title":"Swarm Intelligence Introduction and Applications"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-017-0308-0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2907180"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2017.11.005"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628058"},{"key":"ref2","author":"ammann","year":"2017","journal-title":"Introduction to Software Testing"},{"key":"ref9","first-page":"209","article-title":"KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI'08 8th USENIX Symposium on Operating Systems Design and Implementation"},{"key":"ref1","author":"acree","year":"1979","journal-title":"Mutation analysis technical report GIT - ICS-79\/08"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2019.8914268"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2800093"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2016.02.004"},{"key":"ref42","first-page":"39","article-title":"What makes killing a mutant hard","author":"visser","year":"2016","journal-title":"Automated Software Engineering"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2019.04.012"},{"key":"ref41","first-page":"180","article-title":"Codeflaws: a programming competition benchmark for evaluating automated program repair tools","author":"tan","year":"2017","journal-title":"39th Int Conf on Software Engineering ICSE’17 Companion Volume"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.03.011"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1995.488968"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00098-0"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.56"}],"event":{"name":"2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Toronto, ON, Canada","start":{"date-parts":[[2020,10,11]]},"end":{"date-parts":[[2020,10,14]]}},"container-title":["2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9282733\/9282811\/09282883.pdf?arnumber=9282883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T15:09:14Z","timestamp":1656601754000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9282883\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,11]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/smc42975.2020.9282883","relation":{},"subject":[],"published":{"date-parts":[[2020,10,11]]}}}