Conference
Equivalent mutant detection via SEEM (symbolic execution for equivalent mutants)
| Τίτλος: | Equivalent mutant detection via SEEM (symbolic execution for equivalent mutants) |
|---|---|
| Συγγραφείς: | Cachia, Mark Anthony, Micallef, Mark, Computer Science Annual Workshop CSAW’13 |
| Στοιχεία εκδότη: | University of Malta. Faculty of Information and Communication Technology |
| Έτος έκδοσης: | 2013 |
| Συλλογή: | University of Malta: OAR@UM / L-Università ta' Malta |
| Θεματικοί όροι: | Mutation testing of computer programs, Computer programs -- Testing, Computer software -- Development |
| Περιγραφή: | This paper introduces the proposition to use a novel variant of symbolic execution called SEEM in the field of mutation testing. Its aim is to attempt to reliably detect equivalence between the original program and the mutant, hence moving a step forward in solving the equivalent mutant problem. This work aims to drastically and efficiently reduce the number of equivalent mutants, one of the few issues which have not been satisfactorily resolved in the field of mutation testing. ; peer-reviewed |
| Τύπος εγγράφου: | conference object |
| Γλώσσα: | English |
| Relation: | https://www.um.edu.mt/library/oar/handle/123456789/94414 |
| Διαθεσιμότητα: | https://www.um.edu.mt/library/oar/handle/123456789/94414 |
| 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. |
| Αριθμός Καταχώρησης: | edsbas.9FE63E7 |
| Βάση Δεδομένων: | BASE |
| FullText | Text: Availability: 0 CustomLinks: – Url: https://www.um.edu.mt/library/oar/handle/123456789/94414# Name: EDS - BASE (ns324271) Category: fullText Text: View record from BASE |
|---|---|
| Header | DbId: edsbas DbLabel: BASE An: edsbas.9FE63E7 RelevancyScore: 860 AccessLevel: 3 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 860.314270019531 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Equivalent mutant detection via SEEM (symbolic execution for equivalent mutants) – 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 Information and Communication Technology – 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+software+--+Development%22">Computer software -- Development</searchLink> – Name: Abstract Label: Description Group: Ab Data: This paper introduces the proposition to use a novel variant of symbolic execution called SEEM in the field of mutation testing. Its aim is to attempt to reliably detect equivalence between the original program and the mutant, hence moving a step forward in solving the equivalent mutant problem. This work aims to drastically and efficiently reduce the number of equivalent mutants, one of the few issues which have not been satisfactorily resolved in the field of mutation testing. ; 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/94414 – Name: URL Label: Availability Group: URL Data: https://www.um.edu.mt/library/oar/handle/123456789/94414 – 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.9FE63E7 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.9FE63E7 |
| RecordInfo | BibRecord: BibEntity: Languages: – Text: English Subjects: – SubjectFull: Mutation testing of computer programs Type: general – SubjectFull: Computer programs -- Testing Type: general – SubjectFull: Computer software -- Development Type: general Titles: – TitleFull: Equivalent mutant detection via SEEM (symbolic execution for equivalent mutants) 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 |