An integrated data model verifier with property templates.

Jaideep Nijjar, Ivan Bocic, Tevfik Bultan

Browse the full ICSE paper archive.