{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T20:22:02Z","timestamp":1768162922616,"version":"3.49.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319071503","type":"print"},{"value":"9783319071510","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07151-0_1","type":"book-chapter","created":{"date-parts":[[2014,5,22]],"date-time":"2014-05-22T03:30:14Z","timestamp":1400729414000},"page":"1-17","source":"Crossref","is-referenced-by-count":14,"title":["PrologCheck \u2013 Property-Based Testing in Prolog"],"prefix":"10.1007","author":[{"given":"Cl\u00e1udio","family":"Amaral","sequence":"first","affiliation":[]},{"given":"M\u00e1rio","family":"Florido","sequence":"additional","affiliation":[]},{"given":"V\u00edtor","family":"Santos Costa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/11799573_9","volume-title":"Logic Programming","author":"S. Antoy","year":"2006","unstructured":"Antoy, S., Hanus, M.: Overlapping rules and logic variables in functional logic programs. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 87\u2013101. Springer, Heidelberg (2006)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-11957-6_8","volume-title":"Programming Languages and Systems","author":"J.-P. Bernardy","year":"2010","unstructured":"Bernardy, J.-P., Jansson, P., Claessen, K.: Testing polymorphic properties. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol.\u00a06012, pp. 125\u2013144. Springer, Heidelberg (2010)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Boberg, J.: Early fault detection with model-based testing. In: Proc. of Workshop on Erlang, pp. 9\u201320. ACM (2008)","DOI":"10.1145\/1411273.1411276"},{"key":"1_CR4","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.\u00a04989, pp. 322\u2013336. Springer, Heidelberg (2008)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. In: Proc. of ICFP, pp. 268\u2013279. ACM (2000)","DOI":"10.1145\/357766.351266"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J., Pa\u0142ka, M., Smallbone, N., Svensson, H.: Ranking programs using black box testing. In: Proc. of AST, pp. 103\u2013110. ACM (2010)","DOI":"10.1145\/1808266.1808282"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Claessen, K., Pa\u0142ka, M., Smallbone, N., Hughes, J., Svensson, H., Arts, T., Wiger, U.: Finding race conditions in erlang with quickcheck and pulse. In: Proc. of ICFP, pp. 149\u2013160. ACM (2009)","DOI":"10.1145\/1631687.1596574"},{"issue":"1-2","key":"1_CR8","first-page":"5","volume":"12","author":"V.S. Costa","year":"2012","unstructured":"Costa, V.S., Rocha, R., Damas, L.: The yap prolog system. TPLP\u00a012(1-2), 5\u201334 (2012)","journal-title":"TPLP"},{"key":"1_CR9","unstructured":"Deville, Y.: Logic programming: systematic program development. Addison-Wesley Longman Publishing Co. Inc., Boston (1990)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Dureg\u00e5rd, J., Jansson, P., Wang, M.: Feat: functional enumeration of algebraic types. In: Proc. of Haskell Symposium, pp. 61\u201372. ACM (2012)","DOI":"10.1145\/2430532.2364515"},{"key":"1_CR11","unstructured":"Florido, M., Damas, L.: Types as theories. In: Proc. of post-conference workshop on Proofs and Types, JICSLP (1992)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T.W., Shapiro, E.Y., Vardi, M.Y., Yardeni, E.: Logic programs as types for logic programs. In: Proc. of LICS, pp. 300\u2013309 (1991)","DOI":"10.1109\/LICS.1991.151654"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M.V., Bueno, F., Carro, M., L\u00f3pez-Garc\u00eda, P., Mera, E., Morales, J.F., Puebla, G.: An overview of ciao and its design philosophy. In: TPLP, pp. 219\u2013252 (2012)","DOI":"10.1017\/S1471068411000457"},{"key":"1_CR14","doi-asserted-by":"crossref","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)","DOI":"10.1007\/3-540-44854-3_6"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-642-02846-5_25","volume-title":"Logic Programming","author":"E. Mera","year":"2009","unstructured":"Mera, E., Lopez-Garc\u00eda, P., Hermenegildo, M.: Integrating software testing and run-time checking in an assertion verification framework. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 281\u2013295. Springer, Heidelberg (2009)"},{"key":"1_CR16","unstructured":"Naylor, M.: A logic programming library for test-data generation (2007)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Papadakis, M., Sagonas, K.: A proper integration of types and function specifications with property-based testing. In: Proc. of Workshop on Erlang, pp. 39\u201350. ACM (2011)","DOI":"10.1145\/2034654.2034663"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Runciman, C., Naylor, M., Lindblad, F.: Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. In: Proc. of Haskell Symposium, pp. 37\u201348. ACM (2008)","DOI":"10.1145\/1411286.1411292"},{"key":"1_CR19","first-page":"499","volume":"17","author":"Z. Somogyi","year":"1995","unstructured":"Somogyi, Z., Henderson, F.J., Conway, T.C.: Mercury, an efficient purely declarative logic programming language. Australian Computer Science Communications\u00a017, 499\u2013512 (1995)","journal-title":"Australian Computer Science Communications"},{"issue":"1-2","key":"1_CR20","first-page":"67","volume":"12","author":"J. Wielemaker","year":"2012","unstructured":"Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: Swi-prolog. TPLP\u00a012(1-2), 67\u201396 (2012)","journal-title":"TPLP"},{"issue":"2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(91)80002-U","volume":"10","author":"E. Yardeni","year":"1991","unstructured":"Yardeni, E., Shapiro, E.: A type system for logic program. J. Log. Program.\u00a010(2), 125\u2013153 (1991)","journal-title":"J. Log. Program."},{"key":"1_CR22","unstructured":"Zobel, J.: Derivation of polymorphic types for prolog programs. In: Proc. of ICLP, pp. 817\u2013838 (1987)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07151-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T00:33:07Z","timestamp":1746232387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07151-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319071503","9783319071510"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07151-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}