TY - CONF T1 - A Testability Transformation Approach for State-Based Programs JO - 2009 1st International Symposium on Search Based Software Engineering UR - https://doi.org/10.1109/ssbse.2009.14 PY - 2009/09/25 AU - Kalaji A AU - Hierons RM AU - Swift S ED - DO - DOI: 10.1109/ssbse.2009.14 PB - IEEE SP - 85 EP - 88 Y2 - 2025/11/05 ER -