Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms

Authors:
Karnig Derderian;Robert M. Hierons;Mark Harman;Qiang Guo
Affiliations:
Brunel University, Uxbridge, UK;Brunel University, Uxbridge, UK;King's College London, London, UK;Brunel University, Uxbridge, UK
Venue:
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Year:
2005

Citing 4
Cited 5

Automatic generation of extended UIO sequences for communication protocols in an EFSM model

IWPTS '94 7th IFIP WG 6.1 international workshop on Protocol test systems
Confirming Configurations in EFSM Testing

IEEE Transactions on Software Engineering
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models

IEEE Transactions on Computers
On the testability of SDL specifications

Computer Networks: The International Journal of Computer and Telecommunications Networking

Automatic, evolutionary test data generation for dynamic software testing

Journal of Systems and Software
An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

Information and Software Technology
An improved test generation approach from extended finite state machines using genetic algorithms

SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Runtime analysis of the (1+1) EA on computing unique input output sequences

Information Sciences: an International Journal
Automatic generation of basis test paths using variable length genetic algorithm

Information Processing Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract