TY - CONF T1 - Strengthening Inferred Specifications using Search Based Testing JO - 2008 IEEE International Conference on Software Testing Verification and Validation Workshop UR - https://doi.org/10.1109/icstw.2008.39 PY - 2008/09/26 AU - Ghani K AU - Clark JA ED - DO - DOI: 10.1109/icstw.2008.39 PB - IEEE SP - 187 EP - 194 Y2 - 2025/12/20 ER -