@inproceedings{inproceedings, title  = {{Searching for invariants using genetic programming and mutation testing}},

 publisher = {{ACM}},

 url = {{https://doi.org/10.1145/2001576.2001832 }},

 year = {{2011}},

 month = {{7}},

 author = {{Ratcliff S and White DR and Clark JA}},

 doi = {{10.1145/2001576.2001832}},

 journal = {{Proceedings of the 13th annual conference on Genetic and evolutionary computation}},

 pages = {{1907-1914}},

 note = {{Accessed on 2025/12/18}}}