TzuYu: Learning stateful typestates

• Main Authors: XIAO, Hao, SUN, Jun, LIU, Yang, LIN, Shang-Wei, SUN, Chengnian
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2013
• Subjects: Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/5007; https://ink.library.smu.edu.sg/context/sis_research/article/6010/viewcontent/ASE_2013_TzuYu.pdf
• Institution: Singapore Management University

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...