Tzuyu

Behavioral models are useful for various software engineering tasks. They are, however, often missing in practice. Thus, specification mining was proposed to tackle this problem. Existing work either focuses on learning simple behavioral models such as finite-state automata, or relies on techniques (e.g., symbolic execution) to infer finite-state machines equipped with data states, referred to as stateful typestates. The former is often inadequate as finite-state automata lack expressiveness in capturing behaviors of data-rich programs, whereas the latter is often not scalable. In this work, we propose a fully automated approach to learn stateful typestates by extending the classic active learning process to generate transition guards (i.e., propositions on data states). The proposed approach has been implemented in a tool called TzuYu and evaluated against a number of Java classes. The evaluation results show that TzuYu is capable of learning correct stateful typestates efficiently.

Details of this work can be found in the following publication.

Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin and Cheng-Nian Sun. TzuYu: Learning Stateful Typestates28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013. [PDF, Bibtex]