Angshuman Jana, Raju Halder, Kalahasti Venkata Abhishekh, Sanjeevini Devi Ganni, Agostino Cortesi. Extending Abstract Interpretation to Dependency Analysis of Database Applications. IEEE Trans. Software Eng., 46(5):463-494, 2020. [doi]
Abstract is missing.