{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:42:48Z","timestamp":1780994568637,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642295775","type":"print"},{"value":"9783642295782","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-29578-2_9","type":"book-chapter","created":{"date-parts":[[2013,1,3]],"date-time":"2013-01-03T07:14:04Z","timestamp":1357197244000},"page":"140-155","source":"Crossref","is-referenced-by-count":6,"title":["FocalTest: A Constraint Programming Approach for Property-Based Testing"],"prefix":"10.1007","author":[{"given":"Matthieu","family":"Carlier","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Catherine","family":"Dubois","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arnaud","family":"Gotlieb","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"4","key":"9_CR1","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/263244.263267","volume":"22","author":"G. Fink","year":"1997","unstructured":"Fink, G., Bishop, M.: Property-based testing: a new approach to testing for assurance. SIGSOFT Softw. Eng. Notes\u00a022(4), 74\u201380 (1997)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"9","key":"9_CR2","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/357766.351266","volume":"35","author":"K. Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. ACM SIGPLAN Notices\u00a035(9), 268\u2013279 (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"9_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":"9_CR4","doi-asserted-by":"crossref","unstructured":"Fischer, S., Kuchen, H.: Systematic generation of glass-box test cases for functional logic programs. In: Conf. on Princ. and Practice of Declarative Programming (PPDP 2007), pp. 63\u201374 (2007)","DOI":"10.1145\/1273920.1273930"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Fischer, S., Kuchen, H.: Data-flow testing of declarative programs. In: Proc. of ICFP 2008, pp. 201\u2013212 (2008)","DOI":"10.1145\/1411203.1411233"},{"key":"9_CR6","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":"9_CR7","unstructured":"Carlier, M., Dubois, C.: Functional testing in the focal environment. In: Test And Proof, TAP (April 2008)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Dubois, C., Hardin, T., Vigui\u00e9 Donzeau-Gouge, V.: Building certified components within focal. In: Fifth Symp. on Trends in Functional Prog., TFP 2004, vol.\u00a05, pp. 33\u201348 (2006)","DOI":"10.2307\/j.ctv36xw0k5.6"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Gotlieb, A., Botella, B., Rueher, M.: Automatic test data generation using constraint solving techniques. In: Int. Symp. on Soft. Testing and Analysis, ISSTA, pp. 53\u201362 (1998)","DOI":"10.1145\/271775.271790"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/3-540-15975-4_37","volume-title":"Functional Programming Languages and Computer Architecture","author":"T. Johnsson","year":"1985","unstructured":"Johnsson, T.: Lambda Lifting: Transforming Programs to Recursive Equations. In: Jouannaud, J.-P. (ed.) FPCA 1985. LNCS, vol.\u00a0201, pp. 190\u2013203. Springer, Heidelberg (1985)"},{"key":"9_CR11","unstructured":"Carlier, M.: Constraint Reasoning in FocalTest (2009) CEDRIC Technical report, http:\/\/cedric.cnam.fr"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Ayrault, P., Hardin, T., Pessaux, F.: Development life cycle of critical software under focal. In: Int. Workshop on Harnessing Theories for Tool Support in Software, TTSS (2008)","DOI":"10.1016\/j.entcs.2009.07.003"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"FME \u201993: Industrial-Strength Formal Methods","author":"J. Dick","year":"1993","unstructured":"Dick, J., Faivre, A.: Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. In: Larsen, P.G., Wing, J.M. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 268\u2013284. Springer, Heidelberg (1993)"},{"key":"9_CR14","unstructured":"Marre, B.: Toward Automatic Test Data Set Selection using Algebraic Specifications and Logic Programming. In: Furukawa, K. (ed.) Int. Conf. on Logic Programming, ICLP, pp. 202\u2013219 (1991)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Gotlieb, A.: Euclide: A constraint-based testing platform for critical c programs. In: Int. Conf. on Software Testing, Validation and Verification, ICST (April 2009)","DOI":"10.1109\/ICST.2009.10"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Legeard, B., Peureux, F.: Generation of functional test sequences from B formal specifications - presentation and industrial case-study. In: Int. Conf. on Automated Soft. Eng., ASE 2001, pp. 377\u2013381 (2001)","DOI":"10.1109\/ASE.2001.989833"},{"key":"9_CR17","unstructured":"Pretschner, A.: Classical search strategies for test case generation with constraint logic programming. In: Formal Approaches to Testing of Soft., FATES, pp. 47\u201360 (2001)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11408901_21","volume-title":"Dependable Computing - EDCC 2005","author":"N. Williams","year":"2005","unstructured":"Williams, N., Marre, B., Mouy, P., Roger, M.: PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis. In: Dal Cin, M., Ka\u00e2niche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol.\u00a03463, pp. 281\u2013292. Springer, Heidelberg (2005)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: Dart: directed automated random testing. In: ACM Conf. on Prog. Lang. Design and Impl., PLDI, pp. 213\u2013223 (2005)","DOI":"10.1145\/1064978.1065036"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: Cute: a concolic unit testing engine for c. In: ESEC\/FSE-13, pp. 263\u2013272. ACM Press (2005)","DOI":"10.21236\/ADA482657"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-540-68237-0_22","volume-title":"FM 2008: Formal Methods","author":"E. Uzuncaova","year":"2008","unstructured":"Uzuncaova, E., Khurshid, S.: Constraint Prioritization for Efficient Analysis of Declarative Models. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 310\u2013325. Springer, Heidelberg (2008)"}],"container-title":["Communications in Computer and Information Science","Software and Data Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29578-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:47:04Z","timestamp":1745941624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29578-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642295775","9783642295782"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29578-2_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}