Coexecutability for Efficient Verification of Data Model Updates.

Ivan Bocic, Tevfik Bultan

Browse the full ICSE paper archive.