Angshuman Jana, Raju Halder, Agostino Cortesi. Verification of Hibernate Query Language by Abstract Interpretation. In Xiaofei He, Xinbo Gao, Yanning Zhang, Zhi-Hua Zhou, Zhiyong Liu, Baochuan Fu, Fuyuan Hu, Zhancheng Zhang, editors, Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques - 5th International Conference, IScIDE 2015, Suzhou, China, June 14-16, 2015, Revised Selected Papers, Part II. Volume 9243 of Lecture Notes in Computer Science, pages 116-128, Springer, 2015. [doi]