Some of the IFP systems actually use a evolutionary algorithms, I believe- ADATE in particular, though I can't find an actual instance of it online, or any other information but a mistitled paper:

https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.590...