{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:44:22Z","timestamp":1725795862727},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/models.2015.7338256","type":"proceedings-article","created":{"date-parts":[[2015,11,30]],"date-time":"2015-11-30T21:53:36Z","timestamp":1448920416000},"page":"256-265","source":"Crossref","is-referenced-by-count":11,"title":["Fully verifying transformation contracts for declarative ATL"],"prefix":"10.1109","author":[{"given":"Bentley James","family":"Oakes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Troya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Levi","family":"Lucio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"395","article-title":"EUnit: A Unit Testing Framework for Model Management Tasks","author":"garcia-dominguez","year":"2011","journal-title":"MoDELS"},{"key":"ref11","first-page":"748","article-title":"Test-Driven Development of Model Transformations","author":"giner","year":"2009","journal-title":"MODELS '09"},{"key":"ref12","first-page":"16","article-title":"Checking Transformation Model Properties with a UML and OCL Model Validator","author":"gogolla","year":"2014","journal-title":"Third International Workshop on Verification of Model Transformations"},{"key":"ref13","first-page":"221","article-title":"Tractable model transformation testing","author":"gogolla","year":"2011","journal-title":"ECMFA"},{"key":"ref14","first-page":"449","article-title":"ATLTest: A White-Box Test Generation Approach for ATL Transformations","author":"gonz\u00e1lez","year":"2012","journal-title":"MoDELS"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-012-0102-y"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1138304.1138308"},{"key":"ref17","article-title":"A technique for symbolically verifying properties of graph-based model transformations","author":"lucio","year":"2014","journal-title":"Technical report Technical Report SOCS-TR-2014 1 McGill U"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.27"},{"journal-title":"Formal Verification of Graph-Based Model Transformations","year":"2015","author":"selim","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.197"},{"journal-title":"ATL Atlas Transformation Language","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17322-6_11"},{"key":"ref5","article-title":"Analysis of Model Transformations via Alloy","author":"anastasakis","year":"2007","journal-title":"Proc of MoDe Wa"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/978-3-642-38883-5_15","article-title":"Checking model transformation refinement","author":"buttner","year":"2013","journal-title":"Theory and Practice of Model Transformations"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/978-3-642-19440-5_19","article-title":"Dsltrans: A turing incomplete transformation language","author":"barroca","year":"2011","journal-title":"Software Language Engineering"},{"year":"2015","key":"ref2"},{"year":"0","key":"ref1"},{"key":"ref9","article-title":"OCL contracts for the verification of model transformations","author":"cariou","year":"2009","journal-title":"ECEASST"},{"key":"ref20","first-page":"113","article-title":"Specification and verification of graph-based model transformation properties","author":"selim","year":"2014","journal-title":"Graph Transformation"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/978-3-642-30982-3_11","article-title":"Formal specification and testing of model transformations","author":"vallecillo","year":"2012","journal-title":"Formal Methods for Model-Driven Engineering"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2011.10.1.a5"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08789-4_1"}],"event":{"name":"2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)","start":{"date-parts":[[2015,9,30]]},"location":"Ottawa, ON, Canada","end":{"date-parts":[[2015,10,2]]}},"container-title":["2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7328153\/7338220\/07338256.pdf?arnumber=7338256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T00:43:47Z","timestamp":1498265027000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7338256\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/models.2015.7338256","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}