Learning Extended FSA from Software: An Empirical Assessment

• Main Authors: LO, David, Mariani, Leonardo, Santoro, Mauro
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2012
• Subjects: FSA inference; Empirical validation; Behavioral models; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/1557; http://dx.doi.org/10.1016/j.jss.2012.04.001
• Institution: Singapore Management University

A number of techniques that infer finite state automata from execution traces have been used to support test and analysis activities. Some of these techniques can produce automata that integrate information about the data-flow, that is, they also represent how data values affect the operations execu...