Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment

Abstract : In this paper, we present an assessment of the fault coverage of several Extended FSM (EFSM) based test suites. More precisely, EFSM specifications and their corresponding Java implementations are considered. Mutants of these implementations are derived using the standard arithmetic, conditional, and relational mutation operators. The fault coverage of test suites derived by different EFSM based strategies are evaluated and obtained results are summarized.
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, November 29, 2016 - 4:42:52 PM
Last modification on : Tuesday, November 29, 2016 - 4:48:50 PM
Long-term archiving on: : Monday, March 27, 2017 - 9:32:58 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Khaled El-Fakih, Tariq Salameh, Nina yevtushenko. On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.198-204, ⟨10.1007/978-3-662-44857-1_16⟩. ⟨hal-01405288⟩



Record views


Files downloads