A case study on the use of genetic algorithms to generate test cases for temporal systems
- Derderian, K.
- Merayo, M.G.
- Hierons, R.M.
- Núñez, M.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642214974
Argitalpen urtea: 2011
Alea: 6692 LNCS
Zenbakia: PART 2
Orrialdeak: 396-403
Mota: Biltzar ekarpena