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]

Abstract

Abstract is missing.