Ivan Bocic

Coexecutability for Efficient Verification of Data Model Updates

Tevfik Bultan, Ivan Bocic, T. Bultan, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

Inductive verification of data model invariants for web applications

Tevfik Bultan, Ivan Bocic, T. Bultan, 2014, ICSE.

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

Tevfik Bultan, Ivan Bocic, Jaideep Nijjar, 2015, ACM Trans. Softw. Eng. Methodol..

Finding access control bugs in web applications with CanCheck

Tevfik Bultan, Ivan Bocic, T. Bultan, 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).

Efficient Data Model Verification with Many-Sorted Logic (T)

Tevfik Bultan, Ivan Bocic, T. Bultan, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).