Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez. A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. In Joan Cabestany, Ignacio Rojas, Gonzalo Joya Caparrós, editors, Advances in Computational Intelligence - 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II. Volume 6692 of Lecture Notes in Computer Science, pages 396-403, Springer, 2011. [doi]
Abstract is missing.