Data-Driven Recurrent Set Learning for Non-termination Analysis. - Han, Zhilei; He, Fei (ICSE: International Conference on Software Engineering, 2023)