Data-driven Recurrent Set Learning For Non-termination Analysis

Zhilei Han, Fei He. Data-driven Recurrent Set Learning For Non-termination Analysis. In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023. pages 1303-1315, IEEE, 2023. [doi]

Authors

Zhilei Han

This author has not been identified. Look up 'Zhilei Han' in Google

Fei He

This author has not been identified. Look up 'Fei He' in Google