{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T12:02:15Z","timestamp":1726056135063},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030332228"},{"type":"electronic","value":"9783030332235"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-33223-5_42","type":"book-chapter","created":{"date-parts":[[2019,10,27]],"date-time":"2019-10-27T20:02:24Z","timestamp":1572206544000},"page":"513-521","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas"],"prefix":"10.1007","author":[{"given":"Loli","family":"Burgue\u00f1o","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Claris\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,15]]},"reference":[{"unstructured":"Aichernig, B.K., Salas, P.A.P.: Test case generation by OCL mutation and constraint solving. In: QSIC 2005, pp. 64\u201371 (2005)","key":"42_CR1"},{"issue":"10","key":"42_CR2","first-page":"1376","volume":"39","author":"S Ali","year":"2013","unstructured":"Ali, S., Zohaib Iqbal, M., Arcuri, A., Briand, L.C.: Generating test data from OCL constraints with search techniques. IEEE TSE 39(10), 1376\u20131402 (2013)","journal-title":"IEEE TSE"},{"key":"42_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-642-21210-9_33","volume-title":"Models in Software Engineering","author":"AD Brucker","year":"2011","unstructured":"Brucker, A.D., Krieger, M.P., Longuet, D., Wolff, B.: A specification-based test case generation method for UML\/OCL. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 334\u2013348. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-21210-9_33"},{"unstructured":"Burgue\u00f1o, L., Claris\u00f3, R., Cabot, J., Gogolla, M.: Constraint mutation source code and examples (2019). \n                      http:\/\/hdl.handle.net\/20.500.12004\/1\/C\/ER\/2019\/562","key":"42_CR4"},{"key":"42_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-662-46681-0_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Chakraborty","year":"2015","unstructured":"Chakraborty, S., Fremont, D.J., Meel, K.S., Seshia, S.A., Vardi, M.Y.: On parallel scalable uniform SAT witness generation. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 304\u2013319. Springer, Heidelberg (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-662-46681-0_25"},{"doi-asserted-by":"crossref","unstructured":"Claris\u00f3, R., Cabot, J.: Fixing defects in integrity constraints via constraint mutation. In: QUATIC 2018, pp. 74\u201382 (2018)","key":"42_CR6","DOI":"10.1109\/QUATIC.2018.00020"},{"doi-asserted-by":"crossref","unstructured":"Dutra, R., Laeufer, K., Bachrach, J., Sen, K.: Efficient sampling of SAT solutions for testing. In: ICSE 2018, pp. 549\u2013559 (2018)","key":"42_CR7","DOI":"10.1145\/3180155.3180248"},{"unstructured":"Ermon, S., Gomes, C., Selman, B.: Uniform solution sampling using a constraint solver as an oracle. In: UAI 2012, pp. 255\u2013264 (2012)","key":"42_CR8"},{"issue":"1\/2","key":"42_CR9","first-page":"131","volume":"11","author":"A Ferdjoukh","year":"2018","unstructured":"Ferdjoukh, A., Galinier, F., Bourreau, E., Chateau, A., Nebut, C.: Measurement and generation of diversity and meaningfulness in model driven engineering. Int. J. Adv. Softw. 11(1\/2), 131\u2013146 (2018)","journal-title":"Int. J. Adv. Softw."},{"issue":"2","key":"42_CR10","first-page":"185","volume":"8","author":"F Fleurey","year":"2007","unstructured":"Fleurey, F., Baudry, B., Muller, P.A., Le Traon, Y.: Qualifying input test data for model transformations. SoSyM 8(2), 185\u2013203 (2007)","journal-title":"SoSyM"},{"issue":"1\u20133","key":"42_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1\u20133), 27\u201334 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"8","key":"42_CR12","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1016\/j.infsof.2014.03.003","volume":"56","author":"CA Gonz\u00e1lez","year":"2014","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: Formal verification of static software models in MDE: a systematic review. Inf. Softw. Technol. 56(8), 821\u2013838 (2014)","journal-title":"Inf. Softw. Technol."},{"unstructured":"Object Management Group: Object Constraint Language specification (version 2.4). \n                      https:\/\/www.omg.org\/spec\/OCL\/2.4\/","key":"42_CR13"},{"issue":"3","key":"42_CR14","first-page":"885","volume":"17","author":"F Hilken","year":"2018","unstructured":"Hilken, F., Gogolla, M., Burgue\u00f1o, L., Vallecillo, A.: Testing models and model transformations using classifying terms. SoSyM 17(3), 885\u2013912 (2018)","journal-title":"SoSyM"},{"doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Simko, G., Sztipanovits, J.: Diversely enumerating system-level architectures. In: EMSOFT 2013, pp. 1\u201310, September 2013","key":"42_CR15","DOI":"10.1109\/EMSOFT.2013.6658589"},{"key":"42_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39390-0","volume-title":"Conceptual Modeling of Information Systems","author":"A Oliv\u00e9","year":"2007","unstructured":"Oliv\u00e9, A.: Conceptual Modeling of Information Systems. Springer, Heidelberg (2007). \n                      https:\/\/doi.org\/10.1007\/978-3-540-39390-0"},{"doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Varr\u00f3, D.: Iterative generation of diverse models for testing specifications of DSL tools. In: FASE 2018, pp. 227\u2013245, April 2018","key":"42_CR17","DOI":"10.1007\/978-3-319-89363-1_13"},{"key":"42_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: a relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 632\u2013647. Springer, Heidelberg (2007). \n                      https:\/\/doi.org\/10.1007\/978-3-540-71209-1_49"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-33223-5_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,27]],"date-time":"2019-10-27T20:06:27Z","timestamp":1572206787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-33223-5_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030332228","9783030332235"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-33223-5_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"15 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Salvador","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"38","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.inf.ufrgs.br\/er2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}