Verification of ORM-based Controllers by Summary Inference.

Geetam Chawla, Navneet Aman, Raghavan Komondoor, Ashish Bokil, Nilesh Kharat

Browse the full ICSE paper archive.