Patrick LaRoche, Aimee Burrows, A. Nur Zincir-Heywood. How far an evolutionary approach can go for protocol state analysis and discovery. In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2013, Cancun, Mexico, June 20-23, 2013. pages 3228-3235, IEEE, 2013. [doi]
Abstract is missing.