Algorithm selection for software verification based on adversarial LSTM | IEEE Conference Publication | IEEE Xplore