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]
No references recorded for this publication.
No citations of this publication recorded.