Bounded verification of Ruby on Rails data models. - Jaideep Nijjar; Tevfik Bultan (ISSTA, 2011)

Unbounded data model verification using SMT solvers. - Jaideep Nijjar; Tevfik Bultan (ASE, 2012)

An integrated data model verifier with property templates. - Jaideep Nijjar; Ivan Bocic; Tevfik Bultan (FormaliSE@ICSE, 2013)

Data model property inference and repair. - Jaideep Nijjar; Tevfik Bultan (ISSTA, 2013)

Data Model Property Inference, Verification, and Repair for Web Applications. - Jaideep Nijjar; Ivan Bocic; Tevfik Bultan (ACM Trans. Softw. Eng. Methodol., 2015)