Bounded verification of Ruby on Rails data models.

Jaideep Nijjar, Tevfik Bultan

Browse the full ISSTA paper archive.