{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:01:04Z","timestamp":1725858064601},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319411347"},{"type":"electronic","value":"9783319411354"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-41135-4_11","type":"book-chapter","created":{"date-parts":[[2016,6,20]],"date-time":"2016-06-20T12:23:38Z","timestamp":1466425418000},"page":"183-190","source":"Crossref","is-referenced-by-count":1,"title":["Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations"],"prefix":"10.1007","author":[{"given":"Amani","family":"Makhlouf","sequence":"first","affiliation":[]},{"given":"Hanh Nhi","family":"Tran","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Percebois","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Strecker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,21]]},"reference":[{"key":"11_CR1","unstructured":"Baklanova, N., Brenas, J.H., Echahed, R., Percebois, C., Strecker, M., Tran, H.N.: Provably correct graph transformations with small-tALC. In: ICTERI 2015, pp. 78\u201393 (2015)"},{"issue":"1","key":"11_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-73770-4_1","volume-title":"Tests and Proofs","author":"Y Smaragdakis","year":"2007","unstructured":"Smaragdakis, Y., Csallner, C.: Combining static and dynamic reasoning for bug detection. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol. 4454, pp. 1\u201316. Springer, Heidelberg (2007)"},{"key":"11_CR4","series-title":"History of Computing Series","first-page":"101","volume-title":"Reflections on the Work of C.A.R. Hoare","author":"M Gordon","year":"2007","unstructured":"Gordon, M., Collavizza, H.: Forward with Hoare. In: Roscoe, A.W., Jones, C.B., Wood, K.R. (eds.) Reflections on the Work of C.A.R. Hoare. History of Computing Series, pp. 101\u2013121. Springer, London (2010)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-540-73770-4_12","volume-title":"Tests and Proofs","author":"B Beckert","year":"2007","unstructured":"Beckert, B., Gladisch, C.: White-box testing by combining deduction-based specification extraction and black-box testing. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol. 4454, pp. 207\u2013216. Springer, Heidelberg (2007)"},{"issue":"2","key":"11_CR6","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2), 245\u2013296 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1\u20132","key":"11_CR7","first-page":"135","volume":"118","author":"CM Poskitt","year":"2012","unstructured":"Poskitt, C.M., Plump, D.: Hoare-style verification of graph programs. Fundam. Inf. 118(1\u20132), 135\u2013175 (2012)","journal-title":"Fundam. Inf."},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Structured Object-Oriented Formal Language and Method","author":"S Liu","year":"2014","unstructured":"Liu, S., Nakajima, S.: Combining specification-based testing, correctness proof, and inspection for program verification in practice. In: Liu, S., Duan, Z. (eds.) SOFL\u00a0+\u00a0MSVL 2013. LNCS, vol. 8332, pp. 1\u201318. Springer, Heidelberg (2014)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/3-540-61474-5_91","volume-title":"Computer Aided Verification","author":"S Owre","year":"1996","unstructured":"Owre, S., Rajan, S., Rushby, J.M., Shankar, N., Srivas, M.K.: PVS: combining specification, proof checking, and model checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 411\u2013414. Springer, Heidelberg (1996)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-3-540-73770-4_10","volume-title":"Tests and Proofs","author":"C Engel","year":"2007","unstructured":"Engel, C., H\u00e4hnle, R.: Generating unit tests from formal proofs. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol. 4454, pp. 169\u2013188. Springer, Heidelberg (2007)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/978-3-540-31980-1_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Xie","year":"2005","unstructured":"Xie, T., Marinov, D., Schulte, W., Notkin, D.: Symstra: a framework for generating object-oriented unit tests using symbolic execution. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 365\u2013381. Springer, Heidelberg (2005)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Bak, C., Faulkner, G., Plump, D., Runciman, C.: A reference interpreter for the graph programming language GP 2. In: Rensink, A., Zambon E. (eds.) Graphs as Models 2015 (GaM 2015). EPTCS 2015, vol. 181, pp. 48\u201364 (2015)","DOI":"10.4204\/EPTCS.181.4"},{"key":"11_CR13","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.entcs.2008.04.031","volume":"211","author":"A Darabos","year":"2008","unstructured":"Darabos, A., Pataricza, A., Varr\u00f3, D.: Towards testing the implementation of graph transformations. Electron. Notes Theor. Comput. Sci. 211, 75\u201385 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-3-540-25959-6_5","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"L Geiger","year":"2004","unstructured":"Geiger, L., Z\u00fcndorf, A.: Transforming graph based scenarios into graph transformation based JUnit tests. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 61\u201374. Springer, Heidelberg (2004)"},{"issue":"2\u20133","key":"11_CR15","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1002\/rsa.3240060204","volume":"6","author":"M Molloy","year":"1995","unstructured":"Molloy, M., Reed, B.: A critical point for random graphs with a given degree sequence. Random Struct. Algorithms 6(2\u20133), 161\u2013180 (1995). Wiley","journal-title":"Random Struct. Algorithms"},{"issue":"3","key":"11_CR16","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1017\/S0963548398003526","volume":"7","author":"M Molloy","year":"1998","unstructured":"Molloy, M., Reed, B.: The size of the giant component of a random graph with a given degree sequence. Comb. Prob. Comput. 7(3), 295\u2013305 (1998). Cambridge University Press","journal-title":"Comb. Prob. Comput."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Zhai, J., Wang, H., Zhao, J.: Post-condition-directed invariant inference for loops over data structures. In: SERE-C 2014, pp. 204\u2013212. IEEE (2014)","DOI":"10.1109\/SERE-C.2014.40"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41135-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T12:44:32Z","timestamp":1498308272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41135-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319411347","9783319411354"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41135-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}