Brunel University Research Archive (BURA) >
College of Engineering, Design and Physical Sciences >
Dept of Computer Science >
Dept of Computer Science Research Papers >

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
Publication 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
Software Engineering (B-SERC)
Dept of Computer Science Research Papers

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.