{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:40Z","timestamp":1750306180796,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T00:00:00Z","timestamp":1472083200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,8,25]]},"DOI":"10.1145\/2970276.2970287","type":"proceedings-article","created":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T12:40:09Z","timestamp":1472215209000},"page":"816-821","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis"],"prefix":"10.1145","author":[{"given":"Abdullah","family":"Alshanqiti","sequence":"first","affiliation":[{"name":"University of Leicester, UK"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[{"name":"University of Leicester, UK"}]},{"given":"Timo","family":"Kehrer","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}]}],"member":"320","published-online":{"date-parts":[[2016,8,25]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"114","volume-title":"Proc. 30th Intl. Conf. on Automated Software Engineering","author":"Alshanqiti A.","unstructured":"A. Alshanqiti and R. Heckel . Extracting visual contracts from java programs . In Proc. 30th Intl. Conf. on Automated Software Engineering , pages 104\u2013 114 . IEEE, 2015. A. Alshanqiti and R. Heckel. Extracting visual contracts from java programs. In Proc. 30th Intl. Conf. on Automated Software Engineering, pages 104\u2013114. IEEE, 2015."},{"key":"e_1_3_2_1_2_1","first-page":"67","article-title":"Towards dynamic reverse engineering visual contracts from java","author":"Alshanqiti A. M.","year":"2014","unstructured":"A. M. Alshanqiti and R. Heckel . Towards dynamic reverse engineering visual contracts from java . Electronic Communications of the EASST , 67 , 2014 . A. M. Alshanqiti and R. Heckel. Towards dynamic reverse engineering visual contracts from java. Electronic Communications of the EASST, 67, 2014.","journal-title":"Electronic Communications of the EASST"},{"key":"e_1_3_2_1_3_1","first-page":"58","article-title":"Learning minimal and maximal rules from observations of graph transformations","author":"Alshanqiti A. M.","year":"2013","unstructured":"A. M. Alshanqiti , R. Heckel , and T. Khan . Learning minimal and maximal rules from observations of graph transformations . Electronic Communications of the EASST , 58 , 2013 . A. M. Alshanqiti, R. Heckel, and T. Khan. Learning minimal and maximal rules from observations of graph transformations. Electronic Communications of the EASST, 58, 2013.","journal-title":"Electronic Communications of the EASST"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1926458.1926471"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-012-0114-7"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. 1st Workshop on Model-Based Testing and Object-Oriented Systems","author":"Artzi S.","year":"2006","unstructured":"S. Artzi , M. D. Ernst , A. Kie \u02d9zun , C. Pacheco , and J. H. Perkins . Finding the needles in the haystack: Generating legal test inputs for object-oriented programs . In Proc. 1st Workshop on Model-Based Testing and Object-Oriented Systems , 2006 . S. Artzi, M. D. Ernst, A. Kie \u02d9zun, C. Pacheco, and J. H. Perkins. Finding the needles in the haystack: Generating legal test inputs for object-oriented programs. In Proc. 1st Workshop on Model-Based Testing and Object-Oriented Systems, 2006."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.96"},{"key":"e_1_3_2_1_9_1","first-page":"47","volume-title":"Automated Software Engineering","author":"B\u00fcrdek J.","year":"2015","unstructured":"J. B\u00fcrdek , T. Kehrer , M. Lochau , D. Reuling , U. Kelter , and A. Sch\u00fcrr . Reasoning about product-line evolution using complex feature model differences . Automated Software Engineering , pages 1\u2013 47 , 2015 . J. B\u00fcrdek, T. Kehrer, M. Lochau, D. Reuling, U. Kelter, and A. Sch\u00fcrr. Reasoning about product-line evolution using complex feature model differences. Automated Software Engineering, pages 1\u201347, 2015."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0014-z"},{"key":"e_1_3_2_1_11_1","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"Ehrig H.","year":"2006","unstructured":"H. Ehrig , K. Ehrig , U. Prange , and G. Taentzer . Fundamentals of Algebraic Graph Transformation . Springer , 2006 . H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fundamentals of Algebraic Graph Transformation. Springer, 2006."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841883_24"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31491-9_29"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.018"},{"issue":"145","key":"e_1_3_2_1_16_1","first-page":"156","article-title":"Towards contract-based testing of web services","volume":"116","author":"Heckel R.","year":"2005","unstructured":"R. Heckel and M. Lohmann . Towards contract-based testing of web services . Electronic Notes in Theoretical Computer Science , 116 : 145 \u2013 156 , 2005 . R. Heckel and M. Lohmann. Towards contract-based testing of web services. Electronic Notes in Theoretical Computer Science, 116:145 \u2013 156, 2005.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"e_1_3_2_1_17_1","first-page":"215","volume-title":"Conceptual Modelling and Its Theoretical Foundations","author":"Kappel G.","unstructured":"G. Kappel , P. Langer , W. Retschitzegger , W. Schwinger , and M. Wimmer . Model transformation by-example: a survey of the first wave . In Conceptual Modelling and Its Theoretical Foundations , pages 197\u2013 215 . Springer, 2012. G. Kappel, P. Langer, W. Retschitzegger, W. Schwinger, and M. Wimmer. Model transformation by-example: a survey of the first wave. In Conceptual Modelling and Its Theoretical Foundations, pages 197\u2013215. Springer, 2012."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100050"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. Intl. Workshop on Models and Evolution","volume":"1090","author":"Kehrer T.","year":"2013","unstructured":"T. Kehrer , M. Rindt , P. Pietsch , and U. Kelter . Generating edit operations for profiled UML models . In Proc. Intl. Workshop on Models and Evolution , volume 1090 of CEUR Workshop Proceedings, pages 30\u201339 , 2013 . T. Kehrer, M. Rindt, P. Pietsch, and U. Kelter. Generating edit operations for profiled UML models. In Proc. Intl. Workshop on Models and Evolution, volume 1090 of CEUR Workshop Proceedings, pages 30\u201339, 2013."},{"key":"e_1_3_2_1_20_1","first-page":"188","volume-title":"Proc. 9th Intl. Conf. on Model Transformations","author":"Kehrer T.","unstructured":"T. Kehrer , G. Taentzer , M. Rindt , and U. Kelter . Automatically deriving the specification of model editing operations from meta-models . In Proc. 9th Intl. Conf. on Model Transformations , pages 173\u2013 188 . Springer, 2016. T. Kehrer, G. Taentzer, M. Rindt, and U. Kelter. Automatically deriving the specification of model editing operations from meta-models. In Proc. 9th Intl. Conf. on Model Transformations, pages 173\u2013188. Springer, 2016."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33654-6_19"},{"key":"e_1_3_2_1_22_1","first-page":"354","volume-title":"Proc. 15th European Conf. on Object-Oriented Programming","author":"Kiczales G.","unstructured":"G. Kiczales , E. Hilsdale , J. Hugunin , M. Kersten , J. Palm , and W. G. Griswold . An overview of aspectj . In Proc. 15th European Conf. on Object-Oriented Programming , pages 327\u2013 354 . Springer, 2001. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of aspectj. In Proc. 15th European Conf. on Object-Oriented Programming, pages 327\u2013354. Springer, 2001."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2005.35"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2010.5447776"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773808.2774067"},{"key":"e_1_3_2_1_26_1","first-page":"64","volume-title":"Proc. Intl. Conf. on Software Engineering Research and Practice","volume":"1","author":"Martinez L.","year":"2011","unstructured":"L. Martinez , C. Pereira , and L. Favre . Recovering activity diagrams from object oriented code: an mda-based approach . In Proc. Intl. Conf. on Software Engineering Research and Practice , volume 1 , pages 58\u2013 64 , 2011 . L. Martinez, C. Pereira, and L. Favre. Recovering activity diagrams from object oriented code: an mda-based approach. In Proc. Intl. Conf. on Software Engineering Research and Practice, volume 1, pages 58\u201364, 2011."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19584-1_3"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.3"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2011.18"}],"event":{"name":"ASE'16: ACM\/IEEE International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Singapore Singapore","acronym":"ASE'16"},"container-title":["Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2970276.2970287","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2970276.2970287","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:00Z","timestamp":1750218600000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2970276.2970287"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,25]]},"references-count":30,"alternative-id":["10.1145\/2970276.2970287","10.1145\/2970276"],"URL":"https:\/\/doi.org\/10.1145\/2970276.2970287","relation":{},"subject":[],"published":{"date-parts":[[2016,8,25]]},"assertion":[{"value":"2016-08-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}