A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems.

Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Nez

Browse the full IWANN paper archive.