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]
@inproceedings{NijjarB11,
title = {Bounded verification of Ruby on Rails data models},
author = {Jaideep Nijjar and Tevfik Bultan},
year = {2011},
doi = {10.1145/2001420.2001429},
url = {http://doi.acm.org/10.1145/2001420.2001429},
tags = {data-flow, Ruby on Rails, Ruby},
researchr = {https://researchr.org/publication/NijjarB11},
cites = {0},
citedby = {0},
pages = {67-77},
booktitle = {Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011},
editor = {Matthew B. Dwyer and Frank Tip},
publisher = {ACM},
isbn = {978-1-4503-0562-4},
}