Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/9891
Title: Mutation operators for decision table-based contracts used in software testing
Authors: Khalilov, Abbas
Tuğlular, Tuğkan
Belli, Fevzi
Keywords: Decision tables
Design by contract
Mutation testing
Ordered binary decision diagrams
Specification-based testing
Publisher: Institute of Electrical and Electronics Engineers
Abstract: The 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.
URI: https://doi.org/10.1109/UYMS50627.2020.9247061
https://hdl.handle.net/11147/9891
ISBN: 978-172818541-5
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 full item record



CORE Recommender

SCOPUSTM   
Citations

1
checked on Mar 22, 2024

WEB OF SCIENCETM
Citations

1
checked on Mar 27, 2024

Page view(s)

130
checked on Mar 25, 2024

Download(s)

60
checked on Mar 25, 2024

Google ScholarTM

Check




Altmetric


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