TY - CONF T1 - Searching for invariants using genetic programming and mutation testing JO - Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11 PY - 2011/01/01 AU - Ratcliff S AU - White DR AU - Clark JA ED - DO - DOI: 10.1145/2001576.2001832 PB - ACM Press SN - 9781450305570 Y2 - 2024/12/22 ER -