ATPChecker

Notification

Update: We have identified inconsistencies between Figure 4 and Table 5 with the experimental results in the camera-ready version of the manuscript. We have updated the experimental results and made the latest version of the paper available on arXiv. In this update, we have revised the results in Figure 4 and Table 5, as well as updated the explanations of the metrics in Table 5 and the descriptions of the results in Table 5. We have also updated the Code and Dataset on Zenodo. The README File for using ATPChecker is given in "Zenodo/README.pdf" and GoogleDrive.

We sincerely apologize for any confusion caused by these inconsistencies to the researchers. Please refer to the updated correct version on arXiv for reading this paper, and refer to the latest versions of code and datasets on Zenodo to use the tool.