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 Field | Value | Language |
---|---|---|
dc.contributor.author | Cachia, Mark Anthony | - |
dc.contributor.author | Micallef, Mark | - |
dc.date.accessioned | 2017-10-26T07:37:07Z | - |
dc.date.available | 2017-10-26T07:37:07Z | - |
dc.date.issued | 2012 | - |
dc.identifier.citation | Cachia, 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.uri | https://www.um.edu.mt/library/oar//handle/123456789/23007 | - |
dc.description.abstract | In 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.iso | en | en_GB |
dc.publisher | University of Malta. Faculty of ICT | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Mutation testing of computer programs | en_GB |
dc.subject | Agile software development | en_GB |
dc.subject | Execution traces (Computer program testing) | en_GB |
dc.subject | Computer programs -- Testing | en_GB |
dc.title | Integrating mutation testing into agile processes through equivalent mutant reduction via differential symbolic execution | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | 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. | en_GB |
dc.bibliographicCitation.conferencename | Computer Science Annual Workshop CSAW’12 | en_GB |
dc.bibliographicCitation.conferenceplace | Msida, Malta, 8-9/11/2012 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Proceedings of CSAW12 - A6.pdf | 226.58 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.