Please use this identifier to cite or link to this item:
Title: A search-based approach for automatic test generation from extended finite state machine (EFSM)
Authors: Kalaji, AS
Hierons, RM
Swift, S
Keywords: Evolutionary testing;Model-based testing;Search-based testing;Test data generation;Transition path (TP);Extended finite state machine
Issue Date: 2009
Publisher: IEEE
Citation: Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART '09), Windsor, pp. 131-132, Sep 2009
Abstract: The extended finite state machine is a powerful model that can capture almost all the aspects of a system. However, testing from an EFSM is yet a challenging task due to two main problems: path feasibility and path test data generation. Although optimization algorithms are efficient, their applications to EFSM testing have received very little attention. The aim of this paper is to develop a novel approach that utilizes optimization algorithms to test from EFSM models.
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
Fulltext.pdf219.67 kBAdobe PDFView/Open

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