 |
    |
Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs)
Karnig Derderian, Robert M. Hierons, Mark Harman, and Qiang Guo
Brunel University, Department of Information Systems and Computing, Uxbridge UB8 3PH, UKkarnig.derderian@brunel.ac.uk
rob.hierons@brunel.ac.uk
mark.harman@brunel.ac.uk
qiang.guo@brunel.ac.uk
Abstract. Finite State Machines (FSMs) have been used to model systems in different areas like sequential circuits, software development and communication protocols [1]. FSMs have been an effective method of modelling because a variety of techniques and automated tools exist that work with them.
LNCS 3103, p. 1429 f.
lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2004