Jaideep Nijjar

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Entity Relationship

Relational Algebra

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Jaideep Nijjar, Ivan Bocic, Tevfik Bultan
Data Model Property Inference, Verification, and Repair for Web Applications. ACM Trans. Softw. Eng. Methodol. 24 (4) (2015)
Jaideep Nijjar, Tevfik Bultan
Data model property inference and repair. ISSTA (2013)
Jaideep Nijjar, Ivan Bocic, Tevfik Bultan
An integrated data model verifier with property templates. FormaliSE@ICSE (2013)
Jaideep Nijjar, Tevfik Bultan
Unbounded data model verification using SMT solvers. ASE (2012)
Jaideep Nijjar, Tevfik Bultan
Bounded verification of Ruby on Rails data models. ISSTA (2011)