Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorCachia, Mark Anthony-
dc.contributor.authorMicallef, Mark-
dc.identifier.citationCachia, M. A., & Micallef, M. (2013). Using symbolic execution for equivalent mutant detection. Computer Science Annual Workshop CSAW’13, Msida. 10-12.en_GB
dc.description.abstractMutation 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. Equivalent mutants are mutants which on mutation retain their semantics. Thus, although equivalent mutants are syntactically different, they remain semantically equivalent to the original program. An automated solution which decides equivalence is impossible, as equivalence of non-trivial programs is undecidable. The fact that the Equivalent Mutant Problem is undecidable usually means that human effort is required to decide equivalence. Equivalent mutants are the barrier keeping Mutation Testing from being widely adopted. Moreover, in one study by Irvine et al, the average time taken for each manual mutant classification was fifteen minutes.en_GB
dc.publisherUniversity of Malta. Faculty of ICTen_GB
dc.subjectMutation testing of computer programsen_GB
dc.subjectComputer programs -- Testingen_GB
dc.subjectComputer programs -- Execution -- Managementen_GB
dc.titleUsing symbolic execution for equivalent mutant detectionen_GB
dc.rights.holderThe 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.en_GB
dc.bibliographicCitation.conferencenameComputer Science Annual Workshop CSAW’13en_GB
dc.bibliographicCitation.conferenceplaceMsida, Malta, 2013en_GB
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Proceedings of CSAW’13 - A12.pdf512.13 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.