TY - CONF T1 - Searching for invariants using genetic programming and mutation testing JO - Proceedings of the 13th annual conference on Genetic and evolutionary computation UR - https://doi.org/10.1145/2001576.2001832 PY - 2011/07/12 AU - Ratcliff S AU - White DR AU - Clark JA ED - DO - DOI: 10.1145/2001576.2001832 PB - ACM SP - 1907 EP - 1914 Y2 - 2025/11/04 ER -