Mining message sequence graphs
Reverse Engineering State Machines by Interactive Grammar Inference