%0 Conference Proceedings
%T On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment
%+ American University of Sharjah
%+ Tomsk State University [Tomsk]
%A El-Fakih, Khaled
%A Salameh, Tariq
%A Yevtushenko, Nina
%Z Part 4: Short Contributions
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 26th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Madrid, Spain
%Y Mercedes G. Merayo
%Y Edgardo Montes Oca
%I Springer
%3 Testing Software and Systems
%V LNCS-8763
%P 198-204
%8 2014-09-23
%D 2014
%R 10.1007/978-3-662-44857-1_16
%K Extended FSM test suites
%K test coverage
%K case study
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01405288/document
%2 https://inria.hal.science/hal-01405288/file/978-3-662-44857-1_16_Chapter.pdf
%L hal-01405288
%U https://inria.hal.science/hal-01405288
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-LNCS-8763
%~ IFIP-ICTSS