{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:21:04Z","timestamp":1769750464781,"version":"3.49.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319259444","type":"print"},{"value":"9783319259451","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25945-1_5","type":"book-chapter","created":{"date-parts":[[2015,11,6]],"date-time":"2015-11-06T22:20:37Z","timestamp":1446848437000},"page":"71-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Reducing the Cost of Grammar-Based Testing Using Pattern Coverage"],"prefix":"10.1007","author":[{"given":"Cleverton","family":"Hentz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurgen J.","family":"Vinju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anamaria M.","family":"Moreira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, New York (2008)"},{"key":"5_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"F Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, New York (1998)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-73449-9_5","volume-title":"Term Rewriting and Applications","author":"E Balland","year":"2007","unstructured":"Balland, E., Brauner, P., Kopetz, R., Moreau, P.-E., Reilles, A.: Tom: piggybacking rewriting on Java. In: Baader, F. (ed.) RTA 2007. LNCS, vol. 4533, pp. 36\u201347. Springer, Heidelberg (2007)"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S1571-0661(04)00032-5","volume":"4","author":"P Borovansk\u00fd","year":"1996","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Vittek, M.: Elan: a logical framework based on computational systems. Electron. Notes Theor. Comput. Sci. 4, 35\u201350 (1996)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"9","key":"5_CR5","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1016\/S0950-5849(97)00017-7","volume":"39","author":"AS Boujarwah","year":"1997","unstructured":"Boujarwah, A.S., Saleh, K.: Compiler test case generation methods: a survey and assessment. Inf. Softw. Technol. 39(9), 617\u2013625 (1997)","journal-title":"Inf. Softw. Technol."},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"MGJ Brand den van","year":"2001","unstructured":"den van Brand, M.G.J., van Deursen, A., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The ASF+SDF meta-environment: a component-based language development environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol. 2027, p. 365. Springer, Heidelberg (2001)"},{"issue":"1\u20132","key":"5_CR7","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.scico.2007.11.003","volume":"72","author":"M Bravenboer","year":"2008","unstructured":"Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego\/XT 0.17. A language and toolset for program transformation. Sci. Comput. Program. 72(1\u20132), 52\u201370 (2008). Special Issue on Second issue of experimental software and toolkits (EST)","journal-title":"Sci. Comput. Program."},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-44881-0_7","volume-title":"Rewriting Techniques and Applications","author":"M Clavel","year":"2003","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: The maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 76\u201387. Springer, Heidelberg (2003)"},{"key":"5_CR9","volume-title":"Generative Programming - Methods, Tools and Applications","author":"K Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming - Methods, Tools and Applications. Addison-Wesley, Reading (2000)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Daniel, B., Dig, D., Garcia, K., Marinov, D.: Automated testing of refactoring engines. In: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ESEC-FSE 2007, pp. 185\u2013194. ACM, New York (2007)","DOI":"10.1145\/1287624.1287651"},{"issue":"4","key":"5_CR11","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. Computer 11(4), 34\u201341 (1978)","journal-title":"Computer"},{"key":"5_CR12","volume-title":"Language Prototyping: An Algebraic Specification Approach","year":"1996","unstructured":"Deursen, A.V., Heering, J., Klint, P. (eds.): Language Prototyping: An Algebraic Specification Approach, vol. V. Scientific Publishing Co. Inc., River Edge (1996)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/978-3-319-11245-9_19","volume-title":"Software Language Engineering","author":"J H\u00e4rtel","year":"2014","unstructured":"H\u00e4rtel, J., H\u00e4rtel, L., L\u00e4mmel, R.: Test-data generation for Xtext. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 342\u2013351. Springer, Heidelberg (2014)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1002\/spe.1017","volume":"41","author":"D Hoffman","year":"2011","unstructured":"Hoffman, D., Ly-Gagnon, D., Strooper, P., Wang, H.-Y.: Grammar-based test generation with yougen. Softw. Pract. Experience 41, 427\u2013447 (2011)","journal-title":"Softw. Pract. Experience"},{"issue":"5","key":"5_CR15","first-page":"1","volume":"27","author":"P Hudak","year":"1992","unstructured":"Hudak, P., Peyton Jones, S., Wadler, P.: Report on the Programming Language Haskell, A Non-strict Purely Functional Language (Version 1.2). ACM SIGPLAN Not. 27(5), 1\u2013164 (1992)","journal-title":"ACM SIGPLAN Not."},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-00593-0_12","volume-title":"Fundamental Approaches to Software Engineering","author":"V Jagannath","year":"2009","unstructured":"Jagannath, V., Lee, Y.Y., Daniel, B., Marinov, D.: Reducing the costs of bounded-exhaustive testing. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 171\u2013185. Springer, Heidelberg (2009)"},{"key":"5_CR17","volume-title":"The Java Language Specification","author":"J Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G., Buckley, A.: The Java Language Specification, vol. 1, 3rd edn. Addison Wesley, Reading (2005)","edition":"3"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Klint, P., van der Storm, T., Vinju, J.: Rascal: A domain specific language for source code analysis and manipulation. In: IEEE International Workshop on Source Code Analysis and Manipulation, pp. 168\u2013177 (2009)","DOI":"10.1109\/SCAM.2009.28"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-18023-1_6","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"P Klint","year":"2011","unstructured":"Klint, P., van der Storm, T., Vinju, J.: EASY meta-programming with rascal. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering III. LNCS, vol. 6491, pp. 222\u2013289. Springer, Heidelberg (2011)"},{"issue":"1","key":"5_CR20","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s11086-005-0002-z","volume":"31","author":"AS Kossatchev","year":"2005","unstructured":"Kossatchev, A.S., Posypkin, M.A.: Survey of compiler testing methods. Program. Comput. Softw. 31(1), 10\u201319 (2005)","journal-title":"Program. Comput. Softw."},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11754008_2","volume-title":"Testing of Communicating Systems","author":"R L\u00e4mmel","year":"2006","unstructured":"L\u00e4mmel, R., Schulte, W.: Controllable combinatorial coverage in grammar-based testing. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 19\u201338. Springer, Heidelberg (2006)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Landman, D., Serebrenik, A., Vinju, J.: Empirical analysis of the relationship between CC and SLOC in a large corpus of Javah methods. In: 30th IEEE International Conference on Software Maintenance and Evolution, ICSME 2014 (2014)","DOI":"10.1109\/ICSME.2014.44"},{"issue":"4","key":"5_CR23","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10817-009-9155-4","volume":"43","author":"X Leroy","year":"2009","unstructured":"Leroy, X.: A formally verified compiler back-end. J. Autom. Reason. 43(4), 363\u2013446 (2009)","journal-title":"J. Autom. Reason."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Lincke, R., Lundberg, J., L\u00f6we, W.: Comparing software metrics tools. In: Proceedings of the 2008 International Symposium on Software Testing and Analysis, ISSTA 2008, pp. 131\u2013142. ACM, New York (2008)","DOI":"10.1145\/1390630.1390648"},{"issue":"4","key":"5_CR25","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"T McCabe","year":"1976","unstructured":"McCabe, T.: A complexity measure. IEEE Trans. Softw. Eng., SE 2(4), 308\u2013320 (1976)","journal-title":"IEEE Trans. Softw. Eng., SE"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Mongiovi, M., Mendes, G., Gheyi, R., Soares, G., Ribeiro, M.: Scaling testing of refactoring engines. In: 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, 29 September 2014\u20133 October 2014, pp. 371\u2013380 (2014)","DOI":"10.1109\/ICSME.2014.59"},{"key":"5_CR27","unstructured":"Moreira, A.M., Hentz, C., de Menezes Ramalho, V.: Application of a syntax-based testing method and tool to software product lines. In: 7th Brazilian Workshop on Systematic and Automated Software Testing, SAST 2013 (2013)"},{"key":"5_CR28","unstructured":"Odersky, M., Micheloud, S., Mihaylov, N., Schinz, M., Stenman, E., Zenger, M., et al.: An overview of the scala programming language. Technical report, \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (2004)"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: Cute: a concolic unit testing engine for C. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC\/FSE 2013, pp. 263\u2013272. ACM, New York (2005)","DOI":"10.1145\/1081706.1081750"},{"issue":"2","key":"5_CR30","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1109\/TSE.2012.19","volume":"39","author":"G Soares","year":"2013","unstructured":"Soares, G., Gheyi, R., Massoni, T.: Automated behavioral testing of refactoring engines. IEEE Trans. Softw. Eng. 39(2), 147\u2013162 (2013)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25945-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,18]],"date-time":"2019-12-18T03:24:27Z","timestamp":1576639467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25945-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259444","9783319259451"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25945-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}