Searching for invariants using genetic programming and mutation testing. - Sam Ratcliff; David Robert White; John A. Clark (GECCO, 2011)