{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:24:42Z","timestamp":1725891882359},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540468431"},{"type":"electronic","value":"9783540468455"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11894100_2","type":"book-chapter","created":{"date-parts":[[2006,11,9]],"date-time":"2006-11-09T08:11:30Z","timestamp":1163059890000},"page":"35-61","source":"Crossref","is-referenced-by-count":7,"title":["Fully Automatic Testing with Functions as Specifications"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Koopman","sequence":"first","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"See, http:\/\/www.junit.org"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 387\u2013405 (November 1991)","DOI":"10.1049\/sej.1991.0040"},{"key":"2_CR3","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":"2_CR4","doi-asserted-by":"crossref","unstructured":"Koopman, P., Plasmeijer, R.: Testing reactive systems with GAST. In: Gilmore, S. (ed.) Trends in Functional Programming, vol.\u00a04, pp. 111\u2013129 (2004)","DOI":"10.2307\/j.ctv36xvxxx.11"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"van Weelden, A., et al.: On-the-Fly Formal Testing of a Smart Card Applet. SEC 2005. Or technical report NIII-R0403, at: http:\/\/www.cs.ru.nl\/research\/reports","DOI":"10.1007\/0-387-25660-1_37"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/351240.351266","volume-title":"ICFP","author":"K. Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: A lightweight Tool for Random Testing of Haskell Programs. In: ICFP, pp. 268\u2013279. ACM, New York (2000), www.cs.chalmers.se\/~rjmh\/QuickCheck"},{"key":"2_CR7","unstructured":"Plasmeijer, R., van Eekelen, M.: Clean language report version 2.1, http:\/\/www.cs.ru.nl\/~clean"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing Concurrent Systems: A Formal Approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 46\u201365. Springer, Heidelberg (1999)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36135-9_1","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"M. N\u00fa\u00f1ez","year":"2002","unstructured":"N\u00fa\u00f1ez, M., Roder\u00edguez, I.: Encoding PARM into (Timed) EFSMs. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, pp. 1\u201316. Springer, Heidelberg (2002)"},{"issue":"8","key":"2_CR10","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines \u2013 a survey. Proc. IEEE\u00a084(8), 1090\u20131126 (1996)","journal-title":"Proc. IEEE"},{"key":"2_CR11","unstructured":"ISO\/IEC, 13568:2002 standard, See also: http:\/\/www.vl.zuser.org"},{"key":"2_CR12","unstructured":"Koopman, P., Plasmeijer, R.: Generic Generation of Elements of Types. In: Sixth Symposium on Trends in Functional Programming (TFP 2005), Tallin, Estonia, September 23-24 (2005)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-46028-4_11","volume-title":"Implementation of Functional Languages","author":"A. Alimarine","year":"2002","unstructured":"Alimarine, A., Plasmeijer, R.: A Generic Programming Extension for Clean. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol.\u00a02312, pp. 168\u2013185. Springer, Heidelberg (2002)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-46028-4_4","volume-title":"Implementation of Functional Languages","author":"M. Mol de","year":"2002","unstructured":"de Mol, M., van Eekelen, M., Plasmeijer, R.: Theorem Proving for Functional Programmers. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol.\u00a02312, pp. 55\u201371. Springer, Heidelberg (2002)"},{"key":"2_CR15","unstructured":"Holzmann, G.: The SPIN Model Checker (2004) ISBN 0-321-22862-6"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.: A Tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-27864-1_2","volume-title":"Static Analysis","author":"D. Beyer","year":"2004","unstructured":"Beyer, D., Chlipala, A., Henzinger, T., Jhala, R., Majumdar, R.: The Blast query language for software verification. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol.\u00a03148, pp. 2\u201318. Springer, Heidelberg (2004)"},{"key":"2_CR18","unstructured":"Chen, H., Dean, D., Wagner, D.: Model checking one million lines of C code. In: Proceedings 11th Annual NDSS, San Diego, CA (February 2004)"},{"issue":"2","key":"2_CR19","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1142\/S0218194000000146","volume":"10","author":"K.P. Dart","year":"2000","unstructured":"Dart, K.P., Stirling, L., Winikoff, M.: Kazmierczak Dart, Stirling, Winikoff: Verifying requirements through mathematical modelling and animation. Int. J. Softw. Eng. Know. Eng.\u00a010(2), 251\u2013273 (2000)","journal-title":"Int. J. Softw. Eng. Know. Eng."},{"issue":"1","key":"2_CR20","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/TSE.1985.231535","volume":"11","author":"R. Kemmerer","year":"1985","unstructured":"Kemmerer, R.: Testing formal specifications to detect design errors. IEEE Tr. on Soft. Eng.\u00a011(1), 32\u201343 (1985)","journal-title":"IEEE Tr. on Soft. Eng."},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1007\/3-540-48119-2_49","volume-title":"FM\u201999 - Formal Methods","author":"S. Liu","year":"1999","unstructured":"Liu, S.: Verifying Consistency and Validity of Formal Specifications by Testing. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 896\u2013914. Springer, Heidelberg (1999)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Miller, T., Strooper, P.: A framework and tool support for the systematic testing of model-based specifications ACM Tr. Soft. Eng. and Meth., pp. 409\u2013439 (2003)","DOI":"10.1145\/990010.990012"}],"container-title":["Lecture Notes in Computer Science","Central European Functional Programming School"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11894100_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T14:07:34Z","timestamp":1683641254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11894100_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540468431","9783540468455"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11894100_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}