Khalilov, AbbasTuglular, TugkanBelli, FevziTuğlular, TuğkanBilgisayar Mühendisliği Bölümü2023-10-302023-10-30202109781665410700[WOS-DOI-BELIRLENECEK-1]2-s2.0-85124805995http://65.108.157.135:4000/handle/123456789/42This work focuses on checking the adequacy of the test cases generated using Decision-Table-augmented Event Sequence Graphs (ESG-DTs), which represents the specification of a system under test, by using mutation analysis. Test cases are represented in the Complete Event Sequence (CES) and Faulty CES (FCES) forms. We present a new set of mutation operators for mutation of contracts represented in Multi-Terminal Binary Decision Diagram (MTBDD) and introduce a new approach to mutation of the ESG-DT model by using the proposed mutation operators. The approach is evaluated on three cases. The results show the drawback of specific FCES test sequences and the relationship between the mutant detection by CES/FCES sequences and proposed mutation operators.eninfo:eu-repo/semantics/closedAccessmutation analysisevent sequence graphdesign by contractcontract mutationdecision tablesmulti-terminal binary decision diagramsConference Object127132WOS:000813101100025