TY  - CONF

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

UR  - https://doi.org/10.1007/978-3-642-21498-1_50

PY  - 2011/06/08

AU  - Derderian K

AU  - Merayo MG

AU  - Hierons RM

AU  - Núñez M

ED  - 

DO  - DOI: 10.1007/978-3-642-21498-1_50

PB  - Springer Berlin Heidelberg

SN  - 9783642214974

SP  - 396

EP  - 403

Y2  - 2025/11/18

ER  -