{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:10Z","timestamp":1725487090792},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401902"},{"type":"electronic","value":"9783540448549"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44854-3_6","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:56:07Z","timestamp":1184586967000},"page":"84-100","source":"Crossref","is-referenced-by-count":34,"title":["Gast: Generic Automated Software Testing"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Koopman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artem","family":"Alimarine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Tretmans","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"6_CR1","series-title":"Lect Notes Comput Sci","first-page":"168","volume-title":"A Generic Programming Extension for Clean. IFL2001","author":"A. Alimarine","year":"2001","unstructured":"A. Alimarine and R. Plasmeijer A Generic Programming Extension for Clean. IFL2001, LNCS 2312, pp.168\u2013185, 2001."},{"issue":"6","key":"6_CR2","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"G. Bernot, M.C. Gaudel, B. Marre: Software Testing based on Formal Specifications: a theory and a tool, Software Engineering Journal, 6(6), pp 287\u2013405, 1991.","journal-title":"Software Engineering Journal"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"K. Claessen, J. Hughes. QuickCheck: A lightweight Tool for Random Testing of Hasskell Programs. International Conference on Functional Programming, ACM, pp 268\u2013279, 2000. See also http:\/\/www.cs.chalmers.se\/~rjmh\/QuickCheck .","DOI":"10.1145\/351240.351266"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"K. Claessen, J. Hughes. Testing Monadic Code with QuickCheck, Haskell Workshop, 2002.","DOI":"10.1145\/581690.581696"},{"key":"6_CR5","unstructured":"M. van Eekelen, M. de Mol: Reasoning about explicit strictness in a lazy language using mixed lazy\/strict semantics, Draft proceedings IFL2002, Report 127-02, Computer Science, Universidad Complutense de Madrid, pp 357\u2013373, 2002."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"R. Hinze and J. Jeuring. Generic Haskell: Practice and Theory, Summer School on Generic Programming, 2002.","DOI":"10.1007\/978-3-540-45191-4_1"},{"key":"6_CR7","unstructured":"R. Hinze, and S. Peyton Jones Derivable Type Classes, Proceedings of the Fourth Haskell Workshop, Montreal Canada, 2000."},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","first-page":"2","volume-title":"Fifth International Conference on Mathematics of Program Construction","author":"H. R","year":"2000","unstructured":"Hinze, R. Polytypic values possess polykinded types, Fifth International Conference on Mathematics of Program Construction, LNCS 1837, pp 2\u201327, 2000."},{"key":"6_CR9","unstructured":"HUnit home page: hunit.sourceforge.net"},{"key":"6_CR10","unstructured":"S. Peyton Jones, J. Hughes: Report on the programming language Haskell 98 \u2014 A Non-strict, Purely Functional Language, 2002 http:\/\/www.haskell.org\/onlinereport ."},{"key":"6_CR11","unstructured":"JUint home page: junit.sourceforge.net"},{"key":"6_CR12","series-title":"Lect Notes Comput Sci","first-page":"55","volume-title":"Theorem Proving for Functional Programmers","author":"M. Mol de","year":"2001","unstructured":"M. de Mol, M. van Eekelen, R. Plasmeijer. Theorem Proving for Functional Programmers, LNCS 2312, pp 55\u201372, 2001. See also http:\/\/www.cs.kun.nl\/Sparkle ."},{"issue":"5","key":"6_CR13","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1017\/S0956796801004063","volume":"11","author":"G. E. Moss","year":"2001","unstructured":"Graeme E. Moss and Colin Runciman. Inductive benchmarking for purely functional data structures, Journal of Functional Programming, 11(5): pp 525\u2013556, 2001. Auburn home page: http:\/\/www.cs.york.ac.uk\/fp\/auburn","journal-title":"Journal of Functional Programming"},{"key":"6_CR14","unstructured":"Rinus Plasmeijer and Marko van Eekelen: Concurrent Clean Language Report (version 2.0), 2002. http:\/\/www.cs.kun.nl\/~clean ."},{"key":"6_CR15","unstructured":"Maurice Siteur: Testing with tools-Sleep while you are working. See also http:\/\/www.siteur.myweb.nl ."},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/A:1011236117591","volume":"19","author":"J. Tretmans","year":"2001","unstructured":"J. Tretmans, K. Wijbrans, M. Chaudron: Software Engineering with Formal Methods: The development of a storm surge barrier control system-revisiting seven myths of formal methods, Formal Methods in System Design, 19(2), 195\u2013215, 2001.","journal-title":"Formal Methods in System Design"},{"issue":"8","key":"6_CR17","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"D. Lee, and M. Yannakakis, M Principles and Methods for Testing Finite State Machines \u2014 A Survey, The Proceedings of the IEEE, 84(8), pp 1090\u20131123, 1996.","journal-title":"The Proceedings of the IEEE"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"L. Feijs, F. Meijs, J. Moonen, J. Wamel Conformance Testing of a Multimedia System Using PHACT in Workshop on Testing of Communicating Systems 11 pp 193\u2013210, 1998.","DOI":"10.1007\/978-0-387-35381-4_12"},{"key":"6_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-45510-8_9","volume-title":"Modeling and Verification of Parallel Processes-4th Summer School MOVEP 2000","author":"E. Brinksma","year":"2001","unstructured":"E. Brinksma, J. Tretmans Testing Transition Systems: An Annotated Bibliography\u201d, in Modeling and Verification of Parallel Processes-4 th Summer School MOVEP 2000 LNCS 2067, pp 186\u2013195, 2001."},{"key":"6_CR20","series-title":"Lect Notes Comput Sci","volume-title":"Using On-the-Fly Verification Techniques for the generation of test suites","author":"J. Fernandez","year":"1996","unstructured":"J. Fernandez, C. Jard, T. J\u00e9ron, C. Viho Using On-the-Fly Verification Techniques for the generation of test suites, LNCS 1102, 1996."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"A. Kerbrat, T. J\u00e9ron, R. Groz Automated Test Generation from SDL Specifications, in The Next Millennium-Proceedings of the 9 th SDL Forum, pp 135\u2013152, 1999.","DOI":"10.1016\/B978-044450228-5\/50011-4"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"J. He, K. Turner Protocol-Inspired Hardware Testing, in Int. Workshop on Testing of Communicating Systems 12 pp 131\u2013147, 1999.","DOI":"10.1007\/978-0-387-35567-2_9"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"A. Belinfante, J. Feenstra, R. Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, L. Heerink Formal Test Automation: A Simple Experiment, in Int. Workshop on Testing of Communicating Systems 12 pp 179\u2013196, 1999.","DOI":"10.1007\/978-0-387-35567-2_12"},{"key":"6_CR24","unstructured":"J. Tretmans, E. Brinksma C\u00f4te de Resyste \u2014 Automated Model Based Testing, in Progress 2002 \u2014 3rd Workshop on Embedded Systems, pp 246\u2013255, 2002."}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44854-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:15:47Z","timestamp":1556666147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44854-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401902","9783540448549"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-44854-3_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}