TY - CONF T1 - Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms PY - 2009/01/01 AU - Derderian K AU - Merayo MG AU - Hierons RM AU - Núñez M ED - DO - DOI: 10.1007/978-3-642-02478-8_41 PB - Springer Berlin Heidelberg SN - 9783642024771 SP - 327 EP - 334 Y2 - 2024/12/22 ER -