Output details
11 - Computer Science and Informatics
Brunel University London
An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models
<9> Extended Finite State Machines (EFSM) represent models in languages such as Statecharts. This paper conducts interdisciplinary research across AI and software engineering, proposing and evaluating a test generation technique that uses a measure of how easy it is to produce a test sequence to follow an EFSM path. It is very challenging to choose suitable paths that are feasible and have low test-sequence generation time but this paper presents an effective approach that has been used by others including Labiche’s Software Quality Engineering Laboratory (Carlton University, Ottawa) in a multi-objective optimization approach and tool for automated test generation.