POSVIA: Inconsistency analyzer for open-source Proof-of-Concept reports. - Lingyan Ding; Xingya Wang; Zhenyu Chen 001; Song Huang (Inf. Softw. Technol., 2025)