{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:45:50Z","timestamp":1742913950868,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284113"},{"type":"electronic","value":"9783642284120"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28412-0_18","type":"book-chapter","created":{"date-parts":[[2012,2,18]],"date-time":"2012-02-18T04:14:28Z","timestamp":1329538468000},"page":"287-301","source":"Crossref","is-referenced-by-count":4,"title":["Test-Case Generation for Maude Functional Modules"],"prefix":"10.1007","author":[{"given":"Adri\u00e1n","family":"Riesco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3540539816_63","volume-title":"TAPSOFT \u201991. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991","author":"G. Bernot","year":"1991","unstructured":"Bernot, G.: Testing Against Formal Specifications: A Theoretical View. In: Abramsky, S., Maibaum, T.S.E. (eds.) TAPSOFT 1991, CCPSD 1991, and ADC-Talks 1991. LNCS, vol.\u00a0494, pp. 99\u2013119. Springer, Heidelberg (1991)"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Testing Techniques in Software Engineering","year":"2010","unstructured":"Borba, P., Cavalcanti, A., Sampaio, A., Woodcook, J. (eds.): PSSE 2007. LNCS, vol.\u00a06153. Springer, Heidelberg (2010)"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0304-3975(99)00206-6","volume":"236","author":"A. Bouhoula","year":"2000","unstructured":"Bouhoula, A., Jouannaud, J.-P., Meseguer, J.: Specification and proof in membership equational logic. Theoretical Computer Science\u00a0236, 35\u2013132 (2000)","journal-title":"Theoretical Computer Science"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: Quickcheck: A lightweight tool for random testing of Haskell programs. In: ACM SIGPLAN Notices, pp. 268\u2013279. ACM Press (2000)","DOI":"10.1145\/357766.351266"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-642-13977-2_3","volume-title":"Tests and Proofs","author":"K. Claessen","year":"2010","unstructured":"Claessen, K., Smallbone, N., Hughes, J.: QuickSpec: Guessing Formal Specifications Using Testing. In: Fraser, G., Gargantini, A. (eds.) TAP 2010. LNCS, vol.\u00a06143, pp. 6\u201321. Springer, Heidelberg (2010)"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Bevilacqua, V., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"18_CR7","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.5) (June 2010), \n                    \n                      http:\/\/maude.cs.uiuc.edu\/maude2-manual"},{"issue":"1-2","key":"18_CR8","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.tcs.2006.12.009","volume":"373","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Meseguer, J., Palomino, M.: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theoretical Computer Science\u00a0373(1-2), 70\u201391 (2007)","journal-title":"Theoretical Computer Science"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-00515-2_6","volume-title":"18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008)","author":"F. Degrave","year":"2009","unstructured":"Degrave, F., Schrijvers, T., Vanhoof, W.: Automatic generation of test inputs for Mercury. In: 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008), Valencia, Spain, July 17-18, 2008, Revised Selected Papers, pp. 71\u201386. Springer, Heidelberg (2009)"},{"key":"18_CR10","first-page":"63","volume-title":"Proceedings of the 9th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2007","author":"S. Fischer","year":"2007","unstructured":"Fischer, S., Kuchen, H.: Systematic generation of glass-box test cases for functional logic programs. In: Proceedings of the 9th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2007, pp. 63\u201374. ACM Press, New York (2007)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-78917-8_7","volume-title":"Formal Methods and Testing","author":"M.-C. Gaudel","year":"2008","unstructured":"Gaudel, M.-C., Le Gall, P.: Testing Data Types Implementations from Algebraic Specifications. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 209\u2013239. Springer, Heidelberg (2008)"},{"issue":"2","key":"18_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1459352.1459354","volume":"41","author":"R.M. Hierons","year":"2009","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Rance Cleaveland, J.D., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., L\u00fcttgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal specifications to support testing. ACM Computing Surveys\u00a041(2), 1\u201376 (2009)","journal-title":"ACM Computing Surveys"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-44854-3_6","volume-title":"Implementation of Functional Languages","author":"P. Koopman","year":"2003","unstructured":"Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: Generic Automated Software Testing. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, pp. 84\u2013100. Springer, Heidelberg (2003)"},{"key":"18_CR14","unstructured":"Lembeck, C., Caballero, R., M\u00fcller, R.A., Kuchen, H.: Constraint solving for generating glass-box test cases. In: Kuchen, H. (ed.) Proceedings of International Workshop on Functional and (Constraint) Logic Programming (WFLP 2004), pp. 19\u201332 (2004)"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/3-540-49253-4_35","volume-title":"Algebraic Methodology and Software Technology","author":"P.D.L. Machado","year":"1998","unstructured":"Machado, P.D.L.: On Oracles for Interpreting Test Results against Algebraic Specifications. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, pp. 502\u2013518. Springer, Heidelberg (1998)"},{"issue":"1","key":"18_CR16","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"18_CR17","unstructured":"M\u00fcller, R.A., Lembeck, C., Kuchen, H.: A symbolic Java virtual machine for test case generation. In: IASTED Conf. on Software Engineering, pp. 365\u2013371 (2004)"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-16310-4_15","volume-title":"Rewriting Logic and Its Applications","author":"A. Riesco","year":"2010","unstructured":"Riesco, A., Verdejo, A., Mart\u00ed-Oliet, N.: Enhancing the Debugging of Maude Specifications. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol.\u00a06381, pp. 226\u2013242. Springer, Heidelberg (2010)"},{"key":"18_CR19","unstructured":"Riesco, A., Verdejo, A., Mart\u00ed-Oliet, N., Caballero, R.: Declarative debugging of rewriting logic specifications. Technical Report SIC-02-10, Dpto. Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Complutense de Madrid (2010), \n                    \n                      http:\/\/maude.sip.ucm.es\/debugging"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28412-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T19:58:58Z","timestamp":1556395138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28412-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284113","9783642284120"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28412-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}