Please use this identifier to cite or link to this item: http://buratest.brunel.ac.uk/handle/2438/4059
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.
URI: http://bura.brunel.ac.uk/handle/2438/4059
DOI: http://dx.doi.org/10.1109/TAICPART.2009.19
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.