A framework for the competitive evaluation of model inference techniques
Reverse Engineering State Machines by Interactive Grammar Inference