{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:47:16Z","timestamp":1725893236075},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642344060"},{"type":"electronic","value":"9783642344077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34407-7_9","type":"book-chapter","created":{"date-parts":[[2012,11,6]],"date-time":"2012-11-06T00:58:14Z","timestamp":1352163494000},"page":"134-147","source":"Crossref","is-referenced-by-count":2,"title":["Property-Based Testing and Verification: A Catalog of Classroom Examples"],"prefix":"10.1007","author":[{"given":"Rex","family":"Page","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Eastlund, C.: Doublecheck your theorems. In: Proceedings of the 8th International Workshop on the ACL2 Theorem Prover and its Applications, pp. 42\u201346 (2009)","DOI":"10.1145\/1637837.1637844"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Classen, K., Hughes, J.: QuickCheck: A lightweight tool for random testing of Haskell programs. In: Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming, pp. 268\u2013279 (2000)","DOI":"10.1145\/357766.351266"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Kaufmann, M., Manolios, P., Moore, J.S.: Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4757-3188-0"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing telecoms software with QuviQ QuickCheck. In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, pp. 2\u201310 (2006)","DOI":"10.1145\/1159789.1159792"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-17071-3_13","volume-title":"Formal Methods for Components and Objects","author":"J. Derrick","year":"2010","unstructured":"Derrick, J., Walkinshaw, N., Arts, T., Earle, C.B., Cesarini, F., Fredlund, L.-A., Gulias, V., Hughes, J., Thompson, S.: Property-Based Testing - The ProTest Project. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol.\u00a06286, pp. 250\u2013271. Springer, Heidelberg (2010)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Claessen, K., Palka, M., Smallbone, N., Hughes, J.: Finding race conditions in Erlang with QuickCheck and PULSE. In: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, pp. 149\u2013160 (2009)","DOI":"10.1145\/1596550.1596574"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Claessen, K., Smallbone, N., Hughes, J.: QuickSpec: Guessing formal specifications using testing. In: Proceedings of the 4th International Conference on Tests and Proofs, pp. 6\u201321 (2010)","DOI":"10.1007\/978-3-642-13977-2_3"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Hughes, J., Norell, U., Sautret, J.: Using temporal relations to specify and test an instant messaging server. In: Proceedings of the 32nd International Conference on Software Engineering, pp. 95\u2013102 (2010)","DOI":"10.1145\/1808266.1808281"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Hughes, J., Bolinder, H.: Testing a database for race conditions with QuickCheck. In: Proceedings of the 10th ACM SIGPLAN Erlang Workshop, pp. 72\u201377 (2011)","DOI":"10.1145\/2034654.2034667"},{"key":"9_CR10","unstructured":"Page Rex. 20 projects (2008), \n                  \n                    http:\/\/www.cs.ou.edu\/~rlpage\/SEcollab\/20projects\/"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34407-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:52:50Z","timestamp":1620132770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34407-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642344060","9783642344077"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34407-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}