Jaideep Nijjar, Tevfik Bultan. Data model property inference and repair. In Mauro Pezzè, Mark Harman, editors, International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. pages 202-212, ACM, 2013. [doi]
Abstract is missing.