Robert Snelick Len Gebase Sydney Henrard Dynamically Generating Conformance Tests for Messaging Systems. 80-85 2006 conf/serp/2006-1 Software Engineering Research and Practice db/conf/serp/serp2006-1.html#SnelickGH06