Jaideep Nijjar

According to our database, Jaideep Nijjar authored at least 5 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Data Model Property Inference, Verification, and Repair for Web Applications.

Jaideep Nijjar, Ivan Bocic, Tevfik Bultan

ACM Trans. Softw. Eng. Methodol., 2015

2013

Data model property inference and repair.

Jaideep Nijjar, Tevfik Bultan

Proceedings of the International Symposium on Software Testing and Analysis, 2013

An integrated data model verifier with property templates.

Jaideep Nijjar, Ivan Bocic, Tevfik Bultan

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012

Unbounded data model verification using SMT solvers.

Jaideep Nijjar, Tevfik Bultan

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2011

Bounded verification of Ruby on Rails data models.

Jaideep Nijjar, Tevfik Bultan

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011