Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs)

Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo. Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). In Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund K. Burke, Paul J. Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andrew M. Tyrrell, editors, Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II. Volume 3103 of Lecture Notes in Computer Science, pages 1429-1430, Springer, 2004. [doi]

Authors

Karnig Derderian

This author has not been identified. Look up 'Karnig Derderian' in Google

Robert M. Hierons

This author has not been identified. Look up 'Robert M. Hierons' in Google

Mark Harman

This author has not been identified. It may be one of the following persons: Look up 'Mark Harman' in Google

Qiang Guo

This author has not been identified. Look up 'Qiang Guo' in Google