Superstate Identification for State Machines Using Search-Based Clustering

by Mathew Hall, Phil McMinn and Neil Walkinshaw

Genetic and Evolutionary Computation Conference (GECCO 2010)



State machines are a popular method of representing a system at a high level of abstraction that enables developers to gain an overview of the system they represent and quickly understand it. Several techniques have been developed to reverse engineer state machines from software, so as to produce a concise and up-to-date document of how a system works. However, the machines that are recovered are usually flat and contain a large number of states. This means that the abstract picture they are supposed to provide is often itself very complex, requiring effort to understand. This paper proposes the use of ... [more]


Reference

Mathew Hall, Phil McMinn and Neil Walkinshaw. Superstate Identification for State Machines Using Search-Based Clustering. Genetic and Evolutionary Computation Conference (GECCO 2010), pp. 1381–1388, 2010


Bibtex Entry
@inproceedings{Hall2010,
  author    = "Hall, Mathew and McMinn, Phil and Walkinshaw, Neil",
  title     = "Superstate Identification for State Machines Using Search-Based Clustering",
  booktitle = "Genetic and Evolutionary Computation Conference (GECCO 2010)",
  pages     = "1381--1388",
  year      = "2010",
  publisher = "ACM"
}