Automatic recovery of statecharts from procedural code

Abstract

We have developed a static-analysis algorithm that extracts statecharts from procedural implementations of state machines. The extracted statecharts are semantically-equivalent to the original program, and can be used for further development instead of the procedural code. We have implemented this algorithm in a tool called StatRec. We report on the results of running StatRec on a number of examples, including an implementation of the TCP protocol.

BibTeX

@inproceedings{Abadi-Feldman:ASE12,
  author    = {Moria Abadi and
               Yishai A. Feldman},
  title     = {Automatic recovery of statecharts from procedural code},
  booktitle = {ASE},
  pages     = {238--241},
  publisher = {{ACM}},
  year      = {2012},
}

Automatic recovery of statecharts from procedural code

Abstract

Related papers