Jung Ho Bae, Heung Seok Chae. An Automatic Approach to Generating State Diagram from Contract-Based Class. In 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009. pages 323-331, IEEE Computer Society, 2009. [doi]
Abstract is missing.