TY  - JOUR
AU  - Núñez, Alberto
AU  - García Merayo, Mercedes
AU  - Hierons, Robert M.
AU  - Núñez García, Manuel
PY  - 2013
DO  - 10.1007/s00500-012-0894-5
SN  - 1432-7643
UR  - https://hdl.handle.net/20.500.14352/33272
T2  - Soft Computing
AB  - The generation of test data for state-based specifications is a computationally expensive process. This problem is magnified if we consider that time constraints have to be taken into account to govern the transitions of the studied system. The main...
LA  - eng
M2  - 301
PB  - Springer-Verlag
KW  - Formal testing
KW  - Genetic algorithms
KW  - Timed systems
KW  - finite-state machines
KW  - software test data
KW  - checking sequences
KW  - efsm models
KW  - identification
KW  - length
TI  - Using genetic algorithms to generate test sequences for complex timed systems
TY  - journal article
VL  - 17
ER  -