TY - CONF T1 - Strengthening Inferred Specifications using Search Based Testing JO - 2008 IEEE International Conference on Software Testing Verification and Validation Workshop PY - 2008/01/01 AU - Ghani K AU - Clark JA ED - DO - DOI: 10.1109/icstw.2008.39 PB - IEEE SN - 9780769533889 Y2 - 2024/12/23 ER -