Verification of ORM-based Controllers by Summary Inference. - Geetam Chawla; Navneet Aman; Raghavan Komondoor; Ashish Bokil; Nilesh Kharat (ICSE, 2022)