{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T01:29:16Z","timestamp":1762738156655},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415326"},{"type":"electronic","value":"9783642415333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_12","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:40:59Z","timestamp":1379590859000},"page":"187-202","source":"Crossref","is-referenced-by-count":16,"title":["Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples"],"prefix":"10.1007","author":[{"given":"Martin","family":"Faunes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Cadavid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houari","family":"Sahraoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Metamodel zoos, \n                    \n                      http:\/\/www.emn.fr\/z-info\/atlanmod\/index.php\/Zoos"},{"key":"12_CR2","unstructured":"Cadavid, J., Baudry, B., Sahraoui, H.: Searching the boundaries of a modeling space to test metamodels. In: Proceedings of the International Conference on Software Testing, verification and validation (ICST) (April 2012)"},{"key":"12_CR3","unstructured":"Cadavid, J., Combemale, B., Baudry, B.: Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices. Tech. report RR-7882, INRIA (2012)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Dallmeier, V., Knopp, N., Mallon, C., Hack, S., Zeller, A.: Generating test cases for specification mining. In: Proceedings of the 19th International Symposium on Software Testing and Analysis, pp. 85\u201396. ACM (2010)","DOI":"10.1145\/1831708.1831719"},{"key":"12_CR5","unstructured":"Dolques, X., Huchard, M., Nebut, C., Saada, H., et al.: Formal and relational concept analysis approaches in software engineering: an overview and an application to learn model transformation patterns in examples (2011)"},{"issue":"1-3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"M. Ernst","year":"2007","unstructured":"Ernst, M., Perkins, J., Guo, P., McCamant, S., Pacheco, C., Tschantz, M., Xiao, C.: The daikon system for dynamic detection of likely invariants. Science of Computer Programming\u00a069(1-3), 35\u201345 (2007)","journal-title":"Science of Computer Programming"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Faunes, M., Sahraoui, H., Boukadoum, M.: Generating model transformation rules from examples using an evolutionary algorithm. In: Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering, pp. 250\u2013253. ACM (2012)","DOI":"10.1145\/2351676.2351714"},{"key":"12_CR8","unstructured":"Favre, J.: Cacophony: Metamodel-driven software architecture reconstruction. In: Proceedings of the 11th Working Conference on Reverse Engineering, pp. 204\u2013213. IEEE (2004)"},{"issue":"2","key":"12_CR9","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"issue":"9-10","key":"12_CR10","doi-asserted-by":"publisher","first-page":"948","DOI":"10.1016\/j.infsof.2007.08.003","volume":"50","author":"F. Javed","year":"2008","unstructured":"Javed, F., Mernik, M., Gray, J., Bryant, B.: MARS: A metamodel recovery system using grammar inference. Information and Software Technology\u00a050(9-10), 948\u2013968 (2008)","journal-title":"Information and Software Technology"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (foda) feasibility study. Technical report, DTIC Document (1990)","DOI":"10.21236\/ADA235785"},{"key":"12_CR12","unstructured":"Koza, J., Poli, R.: Genetic programming. In: Search Methodologies (2005)"},{"key":"12_CR13","unstructured":"Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomason, C., Nordstrom, G., Sprinkle, J., Volgyesi, P.: The generic modeling environment. In: Workshop on Intelligent Signal Processing, Budapest, Hungary, vol.\u00a017 (2001)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Ratcliff, S., White, D., Clark, J.A.: Searching for invariants using genetic programming and mutation testing (2011)","DOI":"10.1145\/2001576.2001832"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-33666-9_2","volume-title":"Model Driven Engineering Languages and Systems","author":"J. S\u00e1nchez-Cuadrado","year":"2012","unstructured":"S\u00e1nchez-Cuadrado, J., de Lara, J., Guerra, E.: Bottom-up meta-modelling: An interactive approach. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 3\u201319. Springer, Heidelberg (2012)"},{"key":"12_CR16","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley (2008)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-20398-5_2","volume-title":"NASA Formal Methods","author":"A. Zeller","year":"2011","unstructured":"Zeller, A.: Specifications for free. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol.\u00a06617, pp. 2\u201312. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41533-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:34:46Z","timestamp":1558078486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}