A novel use of equivalent mutants for static anomaly detection in software artifacts

详细信息查看全文

作者：Paolo Arcaini ; ^a ; ^{arcaini@d3s.mff.cuni.cz" class="auth_mail" title="E-mail the corresponding author} ; Angelo Gargantini^b ; Elvinia Riccobene^c ; Paolo Vavassori^b
关键词：Equivalent mutant ; Static anomaly ; Quality measure
刊名：Information and Software Technology
出版年：2017
出版时间：January 2017
年：2017
卷：81
期：Complete
页码：52-64
全文大小：1130 K

文摘

class="label">•: Equivalent mutants are usually seen as an inconvenience in mutation analysis.
class="label">•: We claim that equivalent mutants can be useful to detect and remove static anomalies.
class="label">•: A process for detecting static anomalies is proposed.
class="label">•: The process is based on mutation, equivalence checking, and quality measurement.
class="label">•: The process is applicable to different kinds of software artifacts.