Ivan Bocic

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 3

Top Topics

Web Applications

Schema Evolution

Top Venues

Autom. Softw. Eng.

University of California, Santa Barbara, USA (PHD)

Education History

University of California, Santa Barbara, USA

PHD

Publications

Ivan Bocic, Tevfik Bultan, Nicolás Rosner
Inductive verification of data model invariants in web applications using first-order logic. Autom. Softw. Eng. 26 (2) (2019)
Ivan Bocic, Tevfik Bultan
Symbolic model extraction for web application verification. ICSE (2017)
Ivan Bocic, Tevfik Bultan
Finding access control bugs in web applications with CanCheck. ASE (2016)
Jaideep Nijjar, Ivan Bocic, Tevfik Bultan
Data Model Property Inference, Verification, and Repair for Web Applications. ACM Trans. Softw. Eng. Methodol. 24 (4) (2015)
Ivan Bocic, Tevfik Bultan
Coexecutability for Efficient Verification of Data Model Updates. ICSE (1) (2015)
Ivan Bocic, Tevfik Bultan
Data Model Bugs. NFM (2015)
Ivan Bocic, Tevfik Bultan
Efficient Data Model Verification with Many-Sorted Logic (T). ASE (2015)
Ivan Bocic, Tevfik Bultan
Inductive verification of data model invariants for web applications. ICSE (2014)
Jaideep Nijjar, Ivan Bocic, Tevfik Bultan
An integrated data model verifier with property templates. FormaliSE@ICSE (2013)