Learning of Automata Models Extended with Data
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach