Search Results for 'activerecord property'

activerecord property published presentations and documents on DocSlides.

Data Model Property Inference and Repair

by celsa-spraggs

Jaideep. . Nijjar. . and Tevfik . Bultan. {...

An Integrated Data Model Verifier with Property Templates

by test

Jaideep. . Nijjar. Ivan . Bocic. . T...

Unbounded Data Model Verification Using SMT Solvers

by caitlin

Jaideep. . Nijjar. . Tevfik Bultan. University o...