Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/9891
Full metadata record
DC FieldValueLanguage
dc.contributor.authorKhalilov, Abbas-
dc.contributor.authorTuğlular, Tuğkan-
dc.contributor.authorBelli, Fevzi-
dc.date.accessioned2021-01-24T18:28:59Z-
dc.date.available2021-01-24T18:28:59Z-
dc.date.issued2020-
dc.identifier.isbn978-172818541-5-
dc.identifier.urihttps://doi.org/10.1109/UYMS50627.2020.9247061-
dc.identifier.urihttps://hdl.handle.net/11147/9891-
dc.description.abstractThe Design by Contract technique allows developers to improve source code with contracts, and testing using contracts helps to identify faults. However, the source code of the program under test is not always available. With black-box testing, it is possible to generate contracts from specifications of the software. In this paper, we apply mutation analysis on a model of a given specifications, where mutants are initially gained by applying proposed in this paper certain mutation operators on corresponding model, and then mutated specifications are examined. © 2020 IEEE.en_US
dc.language.isoenen_US
dc.publisherInstitute of Electrical and Electronics Engineersen_US
dc.relation.ispartof2020 Turkish National Software Engineering Symposium (UYMS)en_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectDecision tablesen_US
dc.subjectDesign by contracten_US
dc.subjectMutation testingen_US
dc.subjectOrdered binary decision diagramsen_US
dc.subjectSpecification-based testingen_US
dc.titleMutation operators for decision table-based contracts used in software testingen_US
dc.typeConference Objecten_US
dc.institutionauthorTuğlular, Tuğkan-
dc.institutionauthorBelli, Fevzi-
dc.departmentİzmir Institute of Technology. Computer Engineeringen_US
dc.identifier.wosWOS:000680657300030en_US
dc.identifier.scopus2-s2.0-85097565478en_US
dc.relation.publicationcategoryKonferans Öğesi - Ulusal - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1109/UYMS50627.2020.9247061-
dc.relation.doi10.1109/UYMS50627.2020.9247061en_US
dc.coverage.doi10.1109/UYMS50627.2020.9247061en_US
item.grantfulltextopen-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.openairetypeConference Object-
item.languageiso639-1en-
item.fulltextWith Fulltext-
crisitem.author.dept03.04. Department of Computer Engineering-
crisitem.author.dept03.04. Department of Computer Engineering-
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection
Files in This Item:
File SizeFormat 
Mutation_Operators.pdf472.8 kBAdobe PDFView/Open
Show simple item record



CORE Recommender

SCOPUSTM   
Citations

1
checked on Apr 5, 2024

WEB OF SCIENCETM
Citations

1
checked on Mar 30, 2024

Page view(s)

132
checked on Apr 15, 2024

Download(s)

62
checked on Apr 15, 2024

Google ScholarTM

Check




Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.