Jaideep Nijjar, Tevfik Bultan. Bounded verification of Ruby on Rails data models. In Matthew B. Dwyer, Frank Tip, editors, Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. pages 67-77, ACM, 2011. [doi]
Abstract is missing.