{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:29:10Z","timestamp":1772119750910,"version":"3.50.1"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030480769","type":"print"},{"value":"9783030480776","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-48077-6_3","type":"book-chapter","created":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T23:12:43Z","timestamp":1590102763000},"page":"27-43","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9639-0186","authenticated-orcid":false,"given":"Robert","family":"Claris\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2418-2489","authenticated-orcid":false,"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,22]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Ali, S., Zohaib Iqbal, M., Arcuri, A., Briand, L.C.: Generating test data from OCL constraints with search techniques. IEEE Trans. Softw. Eng. 39(10), 1376\u20131402 (2013). \nhttps:\/\/doi.org\/10.1109\/TSE.2013.17","DOI":"10.1109\/TSE.2013.17"},{"key":"3_CR2","doi-asserted-by":"publisher","unstructured":"Batot, E., Sahraoui, H.: A generic framework for model-set selection for the unification of testing and learning MDE tasks. In: ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), pp. 374\u2013384. ACM Press, New York (2016). \nhttps:\/\/doi.org\/10.1145\/2976767.2976785","DOI":"10.1145\/2976767.2976785"},{"key":"3_CR3","doi-asserted-by":"publisher","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: On the verification of UML\/OCL class diagrams using constraint programming. J. Syst. Softw. 93, 1\u201323 (2014). \nhttps:\/\/doi.org\/10.1016\/j.jss.2014.03.023","DOI":"10.1016\/j.jss.2014.03.023"},{"key":"3_CR4","doi-asserted-by":"publisher","unstructured":"Cadavid, J.J., Baudry, B., Sahraoui, H.: Searching the boundaries of a modeling space to test metamodels. In: IEEE International Conference on Software Testing, Verification and Validation (ICST 2012), pp. 131\u2013140. IEEE (2012). \nhttps:\/\/doi.org\/10.1109\/ICST.2012.93","DOI":"10.1109\/ICST.2012.93"},{"key":"3_CR5","doi-asserted-by":"publisher","unstructured":"Dutra, R., Laeufer, K., Bachrach, J., Sen, K.: Efficient sampling of SAT solutions for testing. In: International Conference on Software Engineering (ICSE 2018), pp. 549\u2013559. ACM (2018). \nhttps:\/\/doi.org\/10.1145\/3180155.3180248","DOI":"10.1145\/3180155.3180248"},{"key":"3_CR6","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). \nhttps:\/\/hal-lirmm.ccsd.cnrs.fr\/lirmm-02067506"},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Ghosh, S., Das, N., Gon\u00e7alves, T., Quaresma, P., Kundu, M.: The journey of graph kernels through two decades. Comput. Sci. Rev. 27, 88\u2013111 (2018). \nhttps:\/\/doi.org\/10.1016\/J.COSREV.2017.11.002","DOI":"10.1016\/J.COSREV.2017.11.002"},{"key":"3_CR8","doi-asserted-by":"publisher","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). \nhttps:\/\/doi.org\/10.1016\/j.infsof.2014.03.003","DOI":"10.1016\/j.infsof.2014.03.003"},{"issue":"3","key":"3_CR9","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1007\/s10270-016-0568-3","volume":"17","author":"F Hilken","year":"2016","unstructured":"Hilken, F., Gogolla, M., Burgue\u00f1o, L., Vallecillo, A.: Testing models and model transformations using classifying terms. Softw. Syst. Modeling 17(3), 885\u2013912 (2016). \nhttps:\/\/doi.org\/10.1007\/s10270-016-0568-3","journal-title":"Softw. Syst. Modeling"},{"key":"3_CR10","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Analysis. MIT Press, Cambridge (2006). \nhttps:\/\/mitpress.mit.edu\/books\/software-abstractions"},{"key":"3_CR11","doi-asserted-by":"publisher","unstructured":"Jackson, E.K., Simko, G., Sztipanovits, J.: Diversely enumerating system-level architectures. In: International Conference on Embedded Software (EMSOFT 2013), pp. 1\u201310. IEEE, September 2013. \nhttps:\/\/doi.org\/10.1109\/EMSOFT.2013.6658589","DOI":"10.1109\/EMSOFT.2013.6658589"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-642-21952-8_21","volume-title":"Objects, Models, Components, Patterns","author":"M Kuhlmann","year":"2011","unstructured":"Kuhlmann, M., Hamann, L., Gogolla, M.: Extensive validation of OCL models by integrating SAT solving into USE. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol. 6705, pp. 290\u2013306. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-21952-8_21"},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1002\/sam.11153","volume":"5","author":"G Li","year":"2012","unstructured":"Li, G., Semerci, M., Yener, B., Zaki, M.J.: Effective graph classification based on topological and label attributes. Stat. Anal. Data Mining 5(4), 265\u2013283 (2012). \nhttps:\/\/doi.org\/10.1002\/sam.11153","journal-title":"Stat. Anal. Data Mining"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-02674-4_10","volume-title":"Model Driven Architecture - Foundations and Applications","author":"A Mougenot","year":"2009","unstructured":"Mougenot, A., Darrasse, A., Blanc, X., Soria, M.: Uniform random generation of huge metamodel instances. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 130\u2013145. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-02674-4_10"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-642-21581-0_23","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2011","author":"A Nadel","year":"2011","unstructured":"Nadel, A.: Generating diverse solutions in SAT. In: Sakallah, K.A., Simon, L. (eds.) SAT 2011. LNCS, vol. 6695, pp. 287\u2013301. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-21581-0_23"},{"key":"3_CR16","doi-asserted-by":"publisher","unstructured":"Nelson, T., Saghafi, S., Dougherty, D.J., Fisler, K., Krishnamurthi, S.: Aluminum: principled scenario exploration through minimality. In: International Conference on Software Engineering (ICSE 2013), pp. 232\u2013241. IEEE, May 2013. \nhttps:\/\/doi.org\/10.1109\/ICSE.2013.6606569","DOI":"10.1109\/ICSE.2013.6606569"},{"key":"3_CR17","doi-asserted-by":"publisher","unstructured":"Petre, M.: UML in practice. In: International Conference on Software Engineering (ICSE 2013), pp. 722\u2013731. IEEE Press (2013). \nhttps:\/\/doi.org\/10.1109\/ICSE.2013.6606618","DOI":"10.1109\/ICSE.2013.6606618"},{"key":"3_CR18","doi-asserted-by":"publisher","unstructured":"Plazar, Q., Acher, M., Perrouin, G., Devroey, X., Cordy, M.: Uniform sampling of SAT solutions for configurable systems: are we there yet? In: IEEE Conference on Software Testing, Validation and Verification (ICST 2019), pp. 240\u2013251. IEEE (2019). \nhttps:\/\/doi.org\/10.1109\/ICST.2019.00032","DOI":"10.1109\/ICST.2019.00032"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0377-0427(87)90125-7","volume":"20","author":"PJ Rousseeuw","year":"1987","unstructured":"Rousseeuw, P.J.: Silhouettes: a graphical aid to the interpretation and validation of cluster analysis. J. Comput. Appl. Math. 20(1), 53\u201365 (1987). \nhttps:\/\/doi.org\/10.1016\/0377-0427(87)90125-7","journal-title":"J. Comput. Appl. Math."},{"key":"3_CR20","doi-asserted-by":"publisher","unstructured":"Semer\u00e1th, O., Nagy, A.S., Varr\u00f3, D.: A graph solver for the automated generation of consistent domain-specific models. In: International Conference on Software Engineering (ICSE 2018), pp. 969\u2013980. ACM Press (2018). \nhttps:\/\/doi.org\/10.1145\/3180155.3180186","DOI":"10.1145\/3180155.3180186"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-319-89363-1_13","volume-title":"Fundamental Approaches to Software Engineering","author":"O Semer\u00e1th","year":"2018","unstructured":"Semer\u00e1th, O., Varr\u00f3, D.: Iterative generation of diverse models for testing specifications of DSL tools. In: Russo, A., Sch\u00fcrr, A. (eds.) FASE 2018. LNCS, vol. 10802, pp. 227\u2013245. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-89363-1_13"},{"key":"3_CR22","unstructured":"Shervashidze, N., Schweitzer, P., van Leeuwen, E.J., Mehlhorn, K., Borgwardt, K.M.: Weisfeiler-Lehman graph kernels. J. Mach. Learn. Res. 12, 2539\u20132561 (2001). \nhttps:\/\/dl.acm.org\/citation.cfm?id=2078187"},{"key":"3_CR23","doi-asserted-by":"publisher","unstructured":"Soltana, G., Sabetzadeh, M., Briand, L.C.: Synthetic data generation for statistical testing. In: IEEE\/ACM International Conference on Automated Software Engineering (ASE 2017), pp. 872\u2013882. IEEE (2017). \nhttps:\/\/doi.org\/10.1109\/ASE.2017.8115698","DOI":"10.1109\/ASE.2017.8115698"},{"key":"3_CR24","unstructured":"Soltana, G., Sabetzadeh, M., Briand, L.C.: Practical model-driven data generation for system testing. ACM Transactions on Software Engineering and Methodology (2020, to appear). \nhttp:\/\/arxiv.org\/abs\/1902.00397"},{"key":"3_CR25","unstructured":"Vadlamudi, S.G., Kambhampati, S.: A combinatorial search perspective on diverse solution generation. In: AAAI Conference on Artificial Intelligence, pp. 776\u2013783. AAAI Press (2016). \nhttps:\/\/dl.acm.org\/citation.cfm?id=3015927"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-319-75396-6_16","volume-title":"Graph Transformation, Specifications, and Nets","author":"D Varr\u00f3","year":"2018","unstructured":"Varr\u00f3, D., Semer\u00e1th, O., Sz\u00e1rnyas, G., Horv\u00e1th, \u00c1.: Towards the automated generation of consistent, diverse, scalable and realistic graph models. In: Heckel, R., Taentzer, G. (eds.) Graph Transformation, Specifications, and Nets. LNCS, vol. 10800, pp. 285\u2013312. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-75396-6_16"},{"key":"3_CR27","unstructured":"Vishwanathan, S., Schraudolph, N.N., Kondor, R., Borgwardt, K.M.: Graph kernels. J. Mach. Learn. Res. 11(Apr), 1201\u20131242 (2010). \nhttp:\/\/www.jmlr.org\/papers\/v11\/vishwanathan10a.html"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-319-66845-1_23","volume-title":"Integrated Formal Methods","author":"H Wu","year":"2017","unstructured":"Wu, H.: MaxUSE: a tool for finding achievable constraints and conflicts for inconsistent UML class diagrams. In: Polikarpova, N., Schneider, S. (eds.) IFM 2017. LNCS, vol. 10510, pp. 348\u2013356. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-66845-1_23"},{"key":"3_CR29","doi-asserted-by":"publisher","unstructured":"Xu, R., Wunsch, D.: Survey of clustering algorithms. IEEE Trans. Neural Netw. 16(3), 645\u2013678 (2005). \nhttps:\/\/doi.org\/10.1109\/TNN.2005.845141","DOI":"10.1109\/TNN.2005.845141"}],"container-title":["Lecture Notes in Computer Science","Rigorous State-Based Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-48077-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T00:03:12Z","timestamp":1590105792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-48077-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030480769","9783030480776"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-48077-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"22 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ABZ","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Rigorous State-Based Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ulm","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 May 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 May 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"abz2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/abz2020.uni-ulm.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"61","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6 case study contributions, 6 PhD-Symposium-contributions, 2 invited papers. The conference was cancelled due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}