How far an evolutionary approach can go for protocol state analysis and discovery. - Patrick LaRoche; Aimee Burrows; Nur Zincir-Heywood (IEEE Congress on Evolutionary Computation, 2013)