Genetic Algorithms for Protocol Validation.

Enrique Alba, Jos M. Troya

Browse the full PPSN paper archive.