We have just released the first version of a .NET protocol learning and monitoring tool. Right now it monitors GTK# programs and out of their usage patterns, constructs state machines representing GTK# protocol specifications.
Download the release source here.
Contact: dsilva@fas.harvard.edu