Treffer: Using symbolic execution for equivalent mutant detection
Title:
Using symbolic execution for equivalent mutant detection
Authors:
Publisher Information:
University of Malta
Faculty of Information and Communication Technology
Faculty of Information and Communication Technology
Publication Year:
2013
Collection:
University of Malta: OAR@UM / L-Università ta' Malta
Subject Terms:
Document Type:
Dissertation
master thesis
Language:
English
Relation:
Cachia, M. A. (2013). Using symbolic execution for equivalent mutant detection (Master’s dissertation).; https://www.um.edu.mt/library/oar/handle/123456789/77505
Availability:
Rights:
info:eu-repo/semantics/restrictedAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.
Accession Number:
edsbas.CBA51988
Database:
BASE
Weitere Informationen
M.SC.ICT TELECOMMUNICATIONS ; Mutation Testing is a fault injection technique used to measure test adequacy score by generating defects (mutations) in a program and checking if its test suite is able to detect such a change. However, this technique suffers from the Equivalent Mutant Problem, given that certain mutants retain the same semantics as the original program. Automated equivalence checking is not feasible, thus developers have to manually detect and remove equivalent mutants from the Mutation Testing process which is very time consuming thus hindering the adoption of Mutation Testing. ; N/A