API Interface for Analyzing the Correctness of DML Queries. - Michal Kvet; Andrea Meleková; Dmytro Demchenko (FRUCT, 2024)