Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms