{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:04:40Z","timestamp":1762459480963,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662544938"},{"type":"electronic","value":"9783662544945"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54494-5_13","type":"book-chapter","created":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T00:09:02Z","timestamp":1490141342000},"page":"226-243","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Symbolic Model Generation for Graph Properties"],"prefix":"10.1007","author":[{"given":"Sven","family":"Schneider","sequence":"first","affiliation":[]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,22]]},"reference":[{"issue":"3","key":"13_CR1","first-page":"811","volume":"15","author":"K Bak","year":"2016","unstructured":"Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wasowski, A.: Clafer: unifying class and feature modeling. SoSyM 15(3), 811\u2013845 (2016)","journal-title":"SoSyM"},{"key":"13_CR2","unstructured":"Baudry, B.: Testing model transformations: a case for test generation from input domain models. In: MDE4DRE (2009)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Beyhl, T., Blouin, D., Giese, H., Lambers, L.: On the operationalization of graph queries with generalized discrimination networks. In: [5], 170\u2013186","DOI":"10.1007\/978-3-319-40530-8_11"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Courcelle, B.: The expression of graph properties and graph transformations in monadic second-order logic. In: [31], 313\u2013400","DOI":"10.1142\/9789812384720_0005"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Graph Transformation","year":"2016","unstructured":"Echahed, R., Minas, M. (eds.): ICGT 2016. LNCS, vol. 9761. Springer, Cham (2016)"},{"key":"13_CR6","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)"},{"issue":"1\u20132","key":"13_CR7","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/FI-2012-705","volume":"118","author":"H Ehrig","year":"2012","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $$\\cal{M}$$-adhesive transformation systems with nested application conditions. part 2: embedding, critical pairs and local confluence. Fundam. Inform. 118(1\u20132), 35\u201363 (2012)","journal-title":"Fundam. Inform."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $$\\cal{M}$$-adhesive transformation systems with nested application conditions. part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24(4) (2014)","DOI":"10.1017\/S0960129512000357"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Erling, O., Averbuch, A., Larriba-Pey, J., Chafi, H., Gubichev, A., Prat-P\u00e9rez, A., Pham, M., Boncz, P.A.: The LDBC social network benchmark: interactive workload. In: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, pp. 619\u2013630. ACM (2015)","DOI":"10.1145\/2723372.2742786"},{"key":"13_CR10","unstructured":"Gogolla, M., Hilken, F.: Model validation and verification options in a contemporary UML and OCL analysis tool. In: Modellierung 2016. LNI, vol. 254, pp. 205\u2013220. GI (2016)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-319-08789-4_3","volume-title":"Theory and Practice of Model Transformations","author":"CA Gonz\u00e1lez","year":"2014","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: Test data generation for model transformations combining partition and constraint analysis. In: Ruscio, D., Varr\u00f3, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 25\u201341. Springer, Cham (2014). doi:10.1007\/978-3-319-08789-4_3"},{"issue":"3\/4","key":"13_CR12","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundam. Inform. 26(3\/4), 287\u2013313 (1996)","journal-title":"Fundam. Inform."},{"issue":"2","key":"13_CR13","first-page":"245","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.: Correctness of high-level transformation systems relative to nested conditions. MSCS 19(2), 245\u2013296 (2009)","journal-title":"MSCS"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R.: Tableaux and related methods. In: Handbook of Automated Reasoning (in 2 vols.), pp. 100\u2013178 (2001)","DOI":"10.1016\/B978-044450813-3\/50005-9"},{"key":"13_CR15","first-page":"118","volume":"2","author":"R Heckel","year":"1995","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting - a constructive approach. ENTCS 2, 118\u2013126 (1995)","journal-title":"ENTCS"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/978-3-642-24485-8_48","volume-title":"Model Driven Engineering Languages and Systems","author":"EK Jackson","year":"2011","unstructured":"Jackson, E.K., Levendovszky, T., Balasubramanian, D.: Reasoning about metamodeling with formal specifications and automatic proofs. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 653\u2013667. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-24485-8_48"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/978-3-540-75209-7_28","volume-title":"Model Driven Engineering Languages and Systems","author":"EK Jackson","year":"2007","unstructured":"Jackson, E.K., Sztipanovits, J.: Constructive techniques for meta- and model-level reasoning. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 405\u2013419. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-75209-7_28"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Krause, C., Johannsen, D., Deeb, R., Sattler, K., Knacker, D., Niadzelka, A.: An SQL-based query language and engine for graph pattern matching. In: Echahed and Minas [5], 153\u2013169","DOI":"10.1007\/978-3-319-40530-8_10"},{"issue":"3","key":"13_CR19","first-page":"511","volume":"39","author":"S Lack","year":"2005","unstructured":"Lack, S., Sobocinski, P.: Adhesive and quasiadhesive categories. ITA 39(3), 511\u2013545 (2005)","journal-title":"ITA"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-09108-2_2","volume-title":"Graph Transformation","author":"L Lambers","year":"2014","unstructured":"Lambers, L., Orejas, F.: Tableau-based reasoning for graph properties. In: Giese, H., K\u00f6nig, B. (eds.) ICGT 2014. LNCS, vol. 8571, pp. 17\u201332. Springer, Cham (2014). doi:10.1007\/978-3-319-09108-2_2"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Milicevic, A., Near, J.P., Kang, E., Jackson, D.: Alloy*: a general-purpose higher-order relational constraint solver. In: 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015, vol. 1, pp. 609\u2013619 (2015)","DOI":"10.1109\/ICSE.2015.77"},{"key":"13_CR22","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). doi:10.1007\/978-3-642-02674-4_10"},{"issue":"3\u20134","key":"13_CR23","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s00165-009-0116-9","volume":"22","author":"F Orejas","year":"2010","unstructured":"Orejas, F., Ehrig, H., Prange, U.: Reasoning with graph constraints. Formal Asp. Comput. 22(3\u20134), 385\u2013422 (2010)","journal-title":"Formal Asp. Comput."},{"key":"13_CR24","first-page":"75","volume":"213","author":"K Pennemann","year":"2008","unstructured":"Pennemann, K.: An algorithm for approximating the satisfiability problem of high-level conditions. ENTCS 213, 75\u201394 (2008)","journal-title":"ENTCS"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-87405-8_20","volume-title":"Graph Transformations","author":"K-H Pennemann","year":"2008","unstructured":"Pennemann, K.-H.: Resolution-like theorem proving for high-level conditions. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 289\u2013304. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-87405-8_20"},{"key":"13_CR26","unstructured":"Pennemann, K.H.: Development of Correct Graph Transformation Systems, PhD Thesis. Dept. Informatik, Univ. Oldenburg (2009)"},{"key":"13_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-319-09108-2_3","volume-title":"Graph Transformation","author":"CM Poskitt","year":"2014","unstructured":"Poskitt, C.M., Plump, D.: Verifying monadic second-order properties of graph programs. In: Giese, H., K\u00f6nig, B. (eds.) ICGT 2014. LNCS, vol. 8571, pp. 33\u201348. Springer, Cham (2014). doi:10.1007\/978-3-319-09108-2_3"},{"key":"13_CR28","unstructured":"Radke, H.: Hr* graph conditions between counting monadic second-order and second-order graph formulas. ECEASST 61 (2013)"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-319-21145-9_10","volume-title":"Graph Transformation","author":"H Radke","year":"2015","unstructured":"Radke, H., Arendt, T., Becker, J.S., Habel, A., Taentzer, G.: Translating essential OCL invariants to nested graph constraints focusing on set operations. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 155\u2013170. Springer, Cham (2015). doi:10.1007\/978-3-319-21145-9_10"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-540-30203-2_23","volume-title":"Graph Transformations","author":"A Rensink","year":"2004","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 319\u2013335. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-30203-2_23"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol. 1. World Scientific, Singapore (1997)","DOI":"10.1142\/3303"},{"key":"13_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-662-46675-9_9","volume-title":"Fundamental Approaches to Software Engineering","author":"R Salay","year":"2015","unstructured":"Salay, R., Chechik, M.: A generalized formal framework for partial modeling. In: Egyed, A., Schaefer, I. (eds.) FASE 2015. LNCS, vol. 9033, pp. 133\u2013148. Springer, Heidelberg (2015). doi:10.1007\/978-3-662-46675-9_9"},{"key":"13_CR33","unstructured":"Schneider, S., Lambers, L., Orejas, F.: Symbolic Model Generation for Graph Properties (Extended Version). No. 115 in Technische Berichte des Hasso-Plattner-Instituts f\u00fcr Softwaresystemtechnik an der Universit\u00e4t Potsdam, Universit\u00e4tsverlag Potsdam, Hasso Plattner Institute (Germany, Potsdam), 1 edn. (2017)"},{"key":"13_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-662-49665-7_6","volume-title":"Fundamental Approaches to Software Engineering","author":"O Semer\u00e1th","year":"2016","unstructured":"Semer\u00e1th, O., V\u00f6r\u00f6s, A., Varr\u00f3, D.: Iterative and incremental model generation by\u00a0logic solvers. In: Stevens, P., W\u0105sowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 87\u2013103. Springer, Heidelberg (2016). doi:10.1007\/978-3-662-49665-7_6"},{"key":"13_CR35","unstructured":"The Linked Data Benchmark Council (LDBC): Social network benchmark (2016). http:\/\/ldbcouncil.org\/benchmarks\/snb"},{"key":"13_CR36","unstructured":"T.W.W.W.C. (W3C): W3C xml schema definition language (xsd) 1.1 part 1: structures (2012)"},{"issue":"1","key":"13_CR37","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/2206869.2206879","volume":"41","author":"PT Wood","year":"2012","unstructured":"Wood, P.T.: Query languages for graph databases. SIGMOD Rec. 41(1), 50\u201360 (2012)","journal-title":"SIGMOD Rec."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54494-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T02:21:04Z","timestamp":1618971664000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-54494-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662544938","9783662544945"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54494-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"22 March 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Uppsala","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.etaps.org\/index.php\/2017\/fase","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}