Bounded verification of Ruby on Rails data models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jaideep Nijjar' in GoogleThis author has not been identified. Look up 'Tevfik Bultan' in Google

runs on WebDSL