You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Brunel University London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Brunel University London

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

Type

D - Journal article

DOI

10.1016/j.infsof.2011.06.004

Title of journal

Information and Software Technology

Article number

Volume number

Issue number

First page of article

1297

ISSN of journal

09505849

Year of publication

2011

URL

http://www.sciencedirect.com/science/article/pii/S095058491100139X/pdfft?md5=ab05ecce4ac8282029643d2bd4fd65c6&pid=1-s2.0-S095058491100139X-main.pdf

Number of additional authors

Additional information

<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.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract