TY - CONF T1 - A Testability Transformation Approach for State-Based Programs JO - 2009 1st International Symposium on Search Based Software Engineering PY - 2009/01/01 AU - Kalaji A AU - Hierons RM AU - Swift S ED - DO - DOI: 10.1109/ssbse.2009.14 PB - IEEE SN - 9780769536750 Y2 - 2024/12/22 ER -