Learning of Automata Models Extended with Data
Automatic generation of software behavioral models