{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:49:05Z","timestamp":1725990545938},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319998398"},{"type":"electronic","value":"9783319998404"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-99840-4_3","type":"book-chapter","created":{"date-parts":[[2018,9,7]],"date-time":"2018-09-07T07:29:08Z","timestamp":1536305348000},"page":"45-58","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["MUnit: A Unit Framework for Maude"],"prefix":"10.1007","author":[{"given":"Adri\u00e1n","family":"Riesco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,8]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-07151-0_1","volume-title":"Functional and Logic Programming","author":"C Amaral","year":"2014","unstructured":"Amaral, C., Florido, M., Santos Costa, V.: PrologCheck \u2013 property-based testing in prolog. In: Codish, M., Sumii, E. (eds.) FLOPS 2014. LNCS, vol. 8475, pp. 1\u201317. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07151-0_1"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Arts, T., Castro, L.M., Hughes, J.: Testing Erlang data types with QuviQ QuickCheck. In: Teoh, S.T., Horv\u00e1th, Z. (eds.) Proceedings of the 7th ACM SIGPLAN Workshop on ERLANG, pp. 1\u20138. ACM (2008)","DOI":"10.1145\/1411273.1411275"},{"key":"3_CR3","volume-title":"Software Testing Techniques","author":"B Beizer","year":"2002","unstructured":"Beizer, B.: Software Testing Techniques. Dreamtech, India (2002)"},{"key":"3_CR4","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. Theor. Comput. Sci. 236, 35\u2013132 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR5","unstructured":"Britton, T., Jeng, L., Carver, G., Cheak, P., Katzenellenbogen, T.: Reversible debugging software. University of Cambridge-Judge Business School, Technical report (2013)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Carlsson, R., R\u00e9mond, M.: EUnit: a lightweight unit testing framework for Erlang. In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, p. 1. ACM (2006)","DOI":"10.1145\/1159789.1159791"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-540-78969-7_23","volume-title":"Functional and Logic Programming","author":"J Christiansen","year":"2008","unstructured":"Christiansen, J., Fischer, S.: EasyCheck \u2014 test data for free. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol. 4989, pp. 322\u2013336. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78969-7_23"},{"key":"3_CR8","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":"3_CR9","unstructured":"Clavel, M., et al.: Maude Manual (Version 2.7), March 2015. http:\/\/maude.cs.illinois.edu\/w\/images\/1\/1a\/Maude-manual.pdf"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M Clavel","year":"2007","unstructured":"Clavel, M., et al.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-540-73859-6_12","volume-title":"Algebra and Coalgebra in Computer Science","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Hendrix, J., Lucas, S., Meseguer, J., \u00d6lveczky, P.: The maude formal tool environment. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol. 4624, pp. 173\u2013178. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73859-6_12"},{"key":"3_CR12","unstructured":"CurryTest. https:\/\/www-ps.informatik.uni-kiel.de\/currywiki\/tools\/currytest"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Dur\u00e1n, F., \u00d6lveczky, P.C.: A guide to extending Full Maude illustrated with the implementation of Real-Time Maude. In: Ro\u015fu, G. (ed.) Proceedings of the 7th International Workshop on Rewriting Logic and its Applications, WRLA 2008, Electronic Notes in Theoretical Computer Science, vol. 238(3), pp. 83\u2013102. Elsevier (2009)","DOI":"10.1016\/j.entcs.2009.05.014"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-17685-2_6","volume-title":"Central European Functional Programming School","author":"J Hughes","year":"2010","unstructured":"Hughes, J.: Software testing with QuickCheck. In: Horv\u00e1th, Z., Plasmeijer, R., Zs\u00f3k, V. (eds.) CEFP 2009. LNCS, vol. 6299, pp. 183\u2013223. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17685-2_6"},{"issue":"1","key":"3_CR15","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. Theor. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR16","unstructured":"Nilsson, R.: Scalacheck: The Definitive Guide. IT Pro, Artima Incorporated (2014)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"PC \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order Symb. Comput. 20, 161\u2013196 (2007)","journal-title":"Higher-Order Symb. Comput."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Papadakis, M., Sagonas, K.: A PropEr integration of types and function specifications with property-based testing. In: Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, pp. 39\u201350. ACM Press (2011)","DOI":"10.1145\/2034654.2034663"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-34005-5_11","volume-title":"Rewriting Logic and Its Applications","author":"A Riesco","year":"2012","unstructured":"Riesco, A.: Using narrowing to test maude specifications. In: Dur\u00e1n, F. (ed.) WRLA 2012. LNCS, vol. 7571, pp. 201\u2013220. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34005-5_11"},{"issue":"2","key":"3_CR20","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s00165-016-0398-7","volume":"29","author":"A Riesco","year":"2016","unstructured":"Riesco, A., Ogata, K., Futatsugi, K.: A Maude environment for CafeOBJ. Formal Aspects Comput. 29(2), 309\u2013334 (2016)","journal-title":"Formal Aspects Comput."},{"issue":"7\u20138","key":"3_CR21","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1016\/j.jlap.2011.06.004","volume":"81","author":"A Riesco","year":"2012","unstructured":"Riesco, A., Verdejo, A., Mart\u00ed-Oliet, N., Caballero, R.: Declarative debugging of rewriting logic specifications. J. Logic Algebraic Program. 81(7\u20138), 851\u2013897 (2012)","journal-title":"J. Logic Algebraic Program."},{"issue":"4","key":"3_CR22","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MS.2006.91","volume":"23","author":"P Runeson","year":"2006","unstructured":"Runeson, P.: A survey of unit testing practices. IEEE Softw. 23(4), 22\u201329 (2006)","journal-title":"IEEE Softw."},{"issue":"1","key":"3_CR23","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Conformance testing with labelled transition systems: implementation relations and test generation. Computer Netw. ISDN Syst. 29(1), 49\u201379 (1996)","journal-title":"Computer Netw. ISDN Syst."},{"key":"3_CR24","unstructured":"Venners, B.: Scalatest 3.0.5 (2018). http:\/\/www.scalatest.org\/"},{"issue":"8","key":"3_CR25","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/286385.286387","volume":"33","author":"P Wadler","year":"1998","unstructured":"Wadler, P.: Why no one uses functional languages. SIGPLAN Not. 33(8), 23\u201327 (1998)","journal-title":"SIGPLAN Not."},{"key":"3_CR26","unstructured":"Wielemaker, J.: Prolog unit tests. http:\/\/www.swi-prolog.org\/pldoc\/doc_for?object=section(%27packages\/plunit.html%27)"}],"container-title":["Lecture Notes in Computer Science","Rewriting Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99840-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T18:25:36Z","timestamp":1571855136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99840-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319998398","9783319998404"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99840-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}