Pablo Rabanal, Ismael RodrÃguez, Fernando Rubio. Applying Evolutionary Computation Methods to Formal Testing and Model Checking. In Joan Cabestany, Francisco Sandoval, Alberto Prieto, Juan M. Corchado, editors, Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I. Volume 5517 of Lecture Notes in Computer Science, pages 310-317, Springer, 2009. [doi]
Abstract is missing.