Data and Benchmarks

The benchmarks are available on https://github.com/FSE2022benchmarks/termination.

The result files are available on https://zenodo.org/record/6548310#.Yn-DBOhByUk

The data of taxonomy (labelling) is available from below. The first column represents the project that the non-termination bug is from, the second column refers to the commit number of the bug. Each line represents a non-termination bug and its information. Label "1" represents the bug belongs to the category corresponding to this column.