Greedy Algorithms for the Test Selection Problem in Protocol Conformance Testing