Directing a Search Towards Execution Properties with a Learned Fitness Function | IEEE Conference Publication | IEEE Xplore