Conference
Using symbolic execution for equivalent mutant detection
| Title: | Using symbolic execution for equivalent mutant detection |
|---|---|
| Authors: | Cachia, Mark Anthony, Micallef, Mark, Computer Science Annual Workshop CSAW’13 |
| Publisher Information: | University of Malta. Faculty of ICT |
| Publication Year: | 2013 |
| Collection: | University of Malta: OAR@UM / L-Università ta' Malta |
| Subject Terms: | Mutation testing of computer programs, Computer programs -- Testing, Computer programs -- Execution -- Management |
| Description: | 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. 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. ; peer-reviewed |
| Document Type: | conference object |
| Language: | English |
| Relation: | https://www.um.edu.mt/library/oar//handle/123456789/23080 |
| Availability: | https://www.um.edu.mt/library/oar//handle/123456789/23080 |
| Rights: | info:eu-repo/semantics/openAccess ; 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.325FBDC3 |
| Database: | BASE |
| FullText | Text: Availability: 0 CustomLinks: – Url: https://www.um.edu.mt/library/oar//handle/123456789/23080# Name: EDS - BASE (ns324271) Category: fullText Text: View record from BASE |
|---|---|
| Header | DbId: edsbas DbLabel: BASE An: edsbas.325FBDC3 RelevancyScore: 860 AccessLevel: 3 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 860.314270019531 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Using symbolic execution for equivalent mutant detection – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Cachia%2C+Mark+Anthony%22">Cachia, Mark Anthony</searchLink><br /><searchLink fieldCode="AR" term="%22Micallef%2C+Mark%22">Micallef, Mark</searchLink><br /><searchLink fieldCode="AR" term="%22Computer+Science+Annual+Workshop+CSAW%2713%22">Computer Science Annual Workshop CSAW’13</searchLink> – Name: Publisher Label: Publisher Information Group: PubInfo Data: University of Malta. Faculty of ICT – Name: DatePubCY Label: Publication Year Group: Date Data: 2013 – Name: Subset Label: Collection Group: HoldingsInfo Data: University of Malta: OAR@UM / L-Università ta' Malta – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Mutation+testing+of+computer+programs%22">Mutation testing of computer programs</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programs+--+Testing%22">Computer programs -- Testing</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programs+--+Execution+--+Management%22">Computer programs -- Execution -- Management</searchLink> – Name: Abstract Label: Description Group: Ab Data: 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. 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. ; peer-reviewed – Name: TypeDocument Label: Document Type Group: TypDoc Data: conference object – Name: Language Label: Language Group: Lang Data: English – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: https://www.um.edu.mt/library/oar//handle/123456789/23080 – Name: URL Label: Availability Group: URL Data: https://www.um.edu.mt/library/oar//handle/123456789/23080 – Name: Copyright Label: Rights Group: Cpyrght Data: info:eu-repo/semantics/openAccess ; 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. – Name: AN Label: Accession Number Group: ID Data: edsbas.325FBDC3 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.325FBDC3 |
| RecordInfo | BibRecord: BibEntity: Languages: – Text: English Subjects: – SubjectFull: Mutation testing of computer programs Type: general – SubjectFull: Computer programs -- Testing Type: general – SubjectFull: Computer programs -- Execution -- Management Type: general Titles: – TitleFull: Using symbolic execution for equivalent mutant detection Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Cachia, Mark Anthony – PersonEntity: Name: NameFull: Micallef, Mark – PersonEntity: Name: NameFull: Computer Science Annual Workshop CSAW’13 IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2013 Identifiers: – Type: issn-locals Value: edsbas – Type: issn-locals Value: edsbas.oa |
| ResultId | 1 |