TY - JOUR T1 - An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models JO - Information and Software Technology PY - 2011/01/01 AU - Kalaji AS AU - Hierons RM AU - Swift S ED - DO - DOI: 10.1016/j.infsof.2011.06.004 PB - Elsevier BV VL - 53 IS - 12 SP - 1297 EP - 1318 Y2 - 2024/12/22 ER -