Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/23007
Full metadata record
DC FieldValueLanguage
dc.contributor.authorCachia, Mark Anthony-
dc.contributor.authorMicallef, Mark-
dc.date.accessioned2017-10-26T07:37:07Z-
dc.date.available2017-10-26T07:37:07Z-
dc.date.issued2012-
dc.identifier.citationCachia, M. A., & Micallef, M. (2012). Integrating mutation testing into agile processes through equivalent mutant reduction via differential symbolic execution. Computer Science Annual Workshop CSAW’12, Msida. 15-16.en_GB
dc.identifier.urihttps://www.um.edu.mt/library/oar//handle/123456789/23007-
dc.description.abstractIn agile programming, software development is performed in iterations. To ensure the changes are correct, considerable effort is spent writing comprehensive unit tests. Unit tests are the most basic form of testing and is performed on the smallest or smaller set of code.These unit tests have multiple purposes, the main one being that of acting as a safety net between product releases. However, the value of testing can be called into question if there is no measure of the quality of unit tests. Code coverage analysis is an automated technique which illustrates which statements are covered by tests. However, high code coverage might still not be good enough as whole branches or paths could still go completely untested which in turn leads to false sense of security. Mutation Testing is a technique designed to successfully and realistically identify whether a test suite is satisfactory. In turn, such tests lead to finding bugs within the code. The technique behind mutation testing involves generating variants of a system by modifying operators (called mutants) and executing tests against them. If the test suite is thorough enough, at least one test should fail against every mutant thus rendering that mutant killed. Unkilled mutants would require investigation and potential modification of the test suite.en_GB
dc.language.isoenen_GB
dc.publisherUniversity of Malta. Faculty of ICTen_GB
dc.rightsinfo:eu-repo/semantics/openAccessen_GB
dc.subjectMutation testing of computer programsen_GB
dc.subjectAgile software developmenten_GB
dc.subjectExecution traces (Computer program testing)en_GB
dc.subjectComputer programs -- Testingen_GB
dc.titleIntegrating mutation testing into agile processes through equivalent mutant reduction via differential symbolic executionen_GB
dc.typeconferenceObjecten_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’12en_GB
dc.bibliographicCitation.conferenceplaceMsida, Malta, 8-9/11/2012en_GB
dc.description.reviewedpeer-revieweden_GB
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Proceedings of CSAW12 - A6.pdf226.58 kBAdobe PDFView/Open


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