Learning Extended FSA from Software: An Empirical Assessment

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

Full description

Saved in:
Bibliographic Details
Main Authors: LO, David, Mariani, Leonardo, Santoro, Mauro
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2012
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/1557
http://dx.doi.org/10.1016/j.jss.2012.04.001
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English