{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:51:05Z","timestamp":1726213865308},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642453397"},{"type":"electronic","value":"9783642453403"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-45340-3_7","type":"book-chapter","created":{"date-parts":[[2013,12,6]],"date-time":"2013-12-06T04:03:31Z","timestamp":1386302611000},"page":"107-124","source":"Crossref","is-referenced-by-count":4,"title":["Model-Based Shrinking for State-Based Testing"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Koopman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","first-page":"1","volume-title":"Proceedings of the 7th ACM SIGPLAN Workshop on ERLANG, ERLANG 2008","author":"T. Arts","year":"2008","unstructured":"Arts, T., Castro, L.M., Hughes, J.: Testing Erlang data types with Quviq Quickcheck. In: Proceedings of the 7th ACM SIGPLAN Workshop on ERLANG, ERLANG 2008, pp. 1\u20138. ACM, New York (2008)"},{"unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking (Representation and Mind Series). The MIT Press (2008)","key":"7_CR2"},{"issue":"4-5","key":"7_CR3","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/s00165-008-0080-9","volume":"20","author":"A.R. Bradley","year":"2008","unstructured":"Bradley, A.R., Manna, Z.: Property-directed incremental invariant generation. Form. Asp. Comput.\u00a020(4-5), 379\u2013405 (2008)","journal-title":"Form. Asp. Comput."},{"doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the 5th International Conference on Functional Programming, ICFP 2000, Montreal, Canada, pp. 268\u2013279. ACM Press (2000)","key":"7_CR4","DOI":"10.1145\/357766.351266"},{"key":"7_CR5","first-page":"455","volume-title":"Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP 2013","author":"D. Vytiniotis","year":"2013","unstructured":"Vytiniotis, D., de Azevedo Amorim, A., Lampropoulos, L.: Testing noninterference, quickly. In: Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP 2013, pp. 455\u2013468. ACM, New York (2013)"},{"key":"7_CR6","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.\u00a06299, pp. 183\u2013223. Springer, Heidelberg (2010)"},{"unstructured":"Junker, U.: Quickxplain: Conflict detection for arbitrary constraint propagation algorithms. In: IJCAI 2001 Workshop on Modelling and Solving Problems with Constraints (2001)","key":"7_CR7"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-642-34407-7_8","volume-title":"Implementation and Application of Functional Languages","author":"P. Koopman","year":"2012","unstructured":"Koopman, P., Achten, P., Plasmeijer, R.: Model based testing with logical properties versus state machines. In: Gill, A., Hage, J. (eds.) IFL 2011. LNCS, vol.\u00a07257, pp. 116\u2013133. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Koopman, P., Plasmeijer, R.: Testing reactive systems with Gast. In: Gilmore, S. (ed.) Proceedings of the 4th Symposium on Trends in Functional Programming, TFP 2003, pp. 111\u2013129. Intellect Books (2004) ISBN 1-84150-122-0","key":"7_CR9","DOI":"10.2307\/j.ctv36xvxxx.11"},{"unstructured":"Koopman, P., Plasmeijer, R.: Generic generation of elements of types. In: Proceedings of the 6th Symposium on Trends in Functional Programming, TFP 2005, Tallin, Estonia, September 23-24, pp. 163\u2013178. Intellect Books (2005) ISBN 978-1-84150-176-5","key":"7_CR10"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11894100_2","volume-title":"Central European Functional Programming School","author":"P. Koopman","year":"2006","unstructured":"Koopman, P., Plasmeijer, R.: Fully automatic testing with functions as specifications. In: Horv\u00e1th, Z. (ed.) CEFP 2005. LNCS, vol.\u00a04164, pp. 35\u201361. Springer, Heidelberg (2006)"},{"unstructured":"Plasmeijer, R., van Eekelen, M.: Clean language report, version 2.1 (2002), http:\/\/clean.cs.ru.nl","key":"7_CR12"},{"issue":"4","key":"7_CR13","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/s100090050044","volume":"2","author":"R. Vries de","year":"2000","unstructured":"de Vries, R., Tretmans, J.: On-the-fly conformance testing using SPIN. Software Tools for Technology Transfer, STTT\u00a02(4), 382\u2013393 (2000)","journal-title":"Software Tools for Technology Transfer, STTT"},{"doi-asserted-by":"crossref","unstructured":"van Weelden, A., Oostdijk, M., Frantzen, L., Koopman, P., Tretmans, J.: On-the-fly formal testing of a smart card applet. In: Sasaki, R., Qing, S., Okamoto, E., Yoshiura, H. (eds.) SEC 2005. IFIP AICT, vol.\u00a0181, pp. 564\u2013576. Springer, Boston (2005); Also available as Technical Report NIII-R0428","key":"7_CR14","DOI":"10.1007\/0-387-25660-1_37"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45340-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,8]],"date-time":"2023-07-08T19:17:02Z","timestamp":1688843822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45340-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642453397","9783642453403"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45340-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}