{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:08:40Z","timestamp":1762916920761},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2003,12,19]],"date-time":"2003-12-19T00:00:00Z","timestamp":1071792000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2004,8]]},"DOI":"10.1007\/s10009-003-0123-8","type":"journal-article","created":{"date-parts":[[2004,8,13]],"date-time":"2004-08-13T20:59:30Z","timestamp":1092430770000},"page":"143-157","source":"Crossref","is-referenced-by-count":24,"title":["CLPS\u2013B \u2013 A constraint solver to animate a B specification"],"prefix":"10.1007","volume":"6","author":[{"given":"Fabrice","family":"Bouquet","sequence":"first","affiliation":[]},{"given":"Bruno","family":"Legeard","sequence":"additional","affiliation":[]},{"given":"Fabien","family":"Peureux","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,12,19]]},"reference":[{"key":"123_CR1","doi-asserted-by":"crossref","unstructured":"Van Aertryck L, Benveniste M, le Metayer D (1997) CASTING: a formally based software test generation method. In: Proceedings of the 1st IEEE international conference on formal engineering methods (ICFEM\u201997), Hiroshima Japan, 12\u201314 November 1997, pp 99\u2013112","DOI":"10.1109\/ICFEM.1997.630411"},{"key":"123_CR2","doi-asserted-by":"crossref","unstructured":"Abrial J-R (1996) The B-BOOK: assigning programs to meanings. Cambridge University Press","DOI":"10.1017\/CBO9780511624162"},{"key":"123_CR3","unstructured":"Ambert F, Legeard B, Legros E (1994) Constraint logic programming on sets and multisets. In: Proceedings of ICLP\u201994 \u2013 workshop on constraint languages and their use in problem modeling, Ithaca, New York, November 1994, pp 151\u2013165"},{"key":"123_CR4","doi-asserted-by":"crossref","unstructured":"Aiken A, Wilmmers EL (1993) Type inclusion constraints and type inference. In: Proceedings of the conference on functional programming languages and computer architecture, Copenhagen, Denmark, 9\u201311 June 1993, pp 31\u201341","DOI":"10.1145\/165180.165188"},{"key":"123_CR5","doi-asserted-by":"crossref","unstructured":"Behm P, Desforges P, Meynadier JM (1998) METEOR: an industrial success in formal development. In Proceedings of the 2nd international conference on the B method, Montpellier, France, Lecture notes in computer science, vol 1393. Springer, Berlin Heidelberg New York, pp 26\u201327","DOI":"10.1007\/BFb0053352"},{"key":"123_CR6","unstructured":"Bouquet F, Julliand J, Legeard B, Peureux F (2002) Automatic reconstruction and generation of functional test patterns \u2013 application to the Java Card Transaction Mechanism (confidential). Technical Report TR-01\/02, LIFC, University of Franche-Comt\u00e9 and Schlumberger Montrouge Product Center"},{"key":"123_CR7","unstructured":"Bouquet F, Legeard B, Peureux F (2000) Constraint logic programming with sets for animation of B formal specifications. In: Proceedings of the CL\u201900 workshop on (constraint) logic programming and software engineering (LPSE\u201900), London, July 2000"},{"key":"123_CR8","unstructured":"Caritey N, Gaspari L, Legeard B, Peureux F (2001) Specification-based testing: application on algorithms of Metro and RER tickets (confidential). Technical Report TR-03\/01, LIFC \u2013 University of Franche-Comt\u00e9 and Schlumberger Besan\u00e7on"},{"key":"123_CR9","doi-asserted-by":"crossref","unstructured":"Dick J, Faivre A (1993) Automating the generation and sequencing of test cases from model-based specifications. In: Proceedings of the international conference on formal methods Europe (FME\u201993), April 1993. Lecture notes in computer science, vol 670. Springer, Berlin Heidelberg New York, pp 268\u2013284","DOI":"10.1007\/BFb0024651"},{"key":"123_CR10","unstructured":"Dick J (1990) Using Prolog to animate Z specifications. In: Proceedings of the Z user meeting 1989. Workshops in computing, Oxford, 15 December 1990. Springer, Berlin Heidelberg New York"},{"key":"123_CR11","doi-asserted-by":"crossref","unstructured":"Delzanno G, Podelski A (1999) Model checking in CLP. In: Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS\u201999), Amsterdam, 22\u201328 March 1999, pp 223\u2013239","DOI":"10.1007\/3-540-49059-0_16"},{"key":"123_CR12","first-page":"825","volume":"1","author":"El-Far","year":"2001","unstructured":"El-Far IK, Whittaker JA (2001) Model-based software testing. Encycl Softw Eng 1:825\u2013837","journal-title":"Encycl Softw Eng"},{"key":"123_CR13","doi-asserted-by":"crossref","unstructured":"Friedman G, Hartman A, Nagin K, Shiran T (2002) Projected state machine coverage for software testing. In: Proceedings of the international symposium on software testing and analysis (ISSTA\u201902), vol 27, Rome, Italy, ACM SIGSOFT, July 2002, pp 134\u2013143","DOI":"10.1145\/566172.566192"},{"key":"123_CR14","doi-asserted-by":"crossref","unstructured":"Gotlieb A, Botella B, Rueher M (2000) A CLP framework for computing structural test data. In: Proceedings of the 1st international conference on computational logic (CL\u201900), London, July 2000. Springer, Berlin Heidelberg New York, pp 399\u2013413","DOI":"10.1007\/3-540-44957-4_27"},{"key":"123_CR15","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"Gervet","year":"1997","unstructured":"Gervet C (1997) Interval propagation to reason about sets: definition and implementation of a practical language. Constraints 1(2):191\u2013246","journal-title":"Constraints"},{"key":"123_CR16","doi-asserted-by":"crossref","unstructured":"Grieskamp W (2000) A computation model for Z based on concurrent constraint resolution. In: Proceedings of the international conference of Z and B users (ZB\u201900), York, UK, September 2000. Lecture notes in computer science, vol 1878. Springer, pp 414\u2013432","DOI":"10.1007\/3-540-44525-0_24"},{"key":"123_CR17","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N","volume":"7","author":"Hierons","year":"1997","unstructured":"Hierons R (1997) Testing from a Z specification. J Softw Test Verif Reliabil 7:19\u201333","journal-title":"J Softw Test Verif Reliabil"},{"key":"123_CR18","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BF00402650","volume":"4","author":"H","year":"1995","unstructured":"H\u00f6rcher HM, Peleska J (1995) Using formal specifications to support software testing. Softw Qual J 4(4):309\u2013327","journal-title":"Softw Qual J"},{"key":"123_CR19","unstructured":"ISO. Information Processing Systems, Open Systems Interconnection. OSI Conformance Testing Methodology and Framework \u2013 ISO 9646"},{"key":"123_CR20","doi-asserted-by":"crossref","unstructured":"Jackson D (2000) Automating first-order relational logic. In: Proceedings of the international conference on foundations of software engineering, ACM SIGSOFT, San Diego, November 2000, pp 130\u2013138","DOI":"10.1145\/355045.355063"},{"key":"123_CR21","unstructured":"Jones CB (1990) Systematic software development using VDM, 2nd edn. Prentice-Hall, Upper Saddle River, NJ"},{"key":"123_CR22","unstructured":"Kozen D (1994) Set constraints and logic programming (abstract). In: Proceedings of the 1st international conference on constraints in computational logics (CCL\u201994), Munich, Germany, September 1994. Lecture notes in computer science, vol 845. Springer, Berlin Heidelberg New York, pp 302\u2013303"},{"key":"123_CR23","doi-asserted-by":"crossref","unstructured":"Legeard B, Peureux F (2001) Generation of functional test sequences from B formal specifications \u2013 presentation and industrial case-study. In: Proceedings of the 16th international conference on automated software engineering (ASE\u201901), San Diego, November 2001. IEEE Press, New York, pp 377\u2013381","DOI":"10.1109\/ASE.2001.989833"},{"key":"123_CR24","unstructured":"Legeard B, Peureux F, Vincent J (2001) Automatic generation of functional test patterns from a formalized smart card model \u2013 application to the GSM 11-11 specification (confidential). Technical Report TR-01\/01, LIFC \u2013 University of Franche-Comt\u00e9 and Schlumberger Montrouge Product Center"},{"key":"123_CR25","doi-asserted-by":"crossref","unstructured":"Legeard B, Peureux F, Utting M (2002a) A comparison of the BTT and TTF test-generation methods. In: Proceedings of the international conference on formal specification and development in Z and B (ZB\u201902), Grenoble, France, January 2002. Lecture notes in computer science, vol 2272. Springer, Berlin Heidelberg New York, pp 309\u2013329","DOI":"10.1007\/3-540-45648-1_16"},{"key":"123_CR26","doi-asserted-by":"crossref","unstructured":"Legeard B, Peureux F, Utting M (2002b) Automated boundary testing from Z and B. In: Proceedings of the international conference on formal methods Europe (FME\u201902), Copenhagen, Denmark, July 2002. Lecture notes in computer science, vol 2391. Springer, Berlin Heidelberg New York, pp 21\u201340","DOI":"10.1007\/3-540-45614-7_2"},{"key":"123_CR27","unstructured":"L\u00f6tzbeyer H, Pretschner A (2000) AutoFocus on constraint logic programming. In: Proceedings of the CL\u201900 workshop on (constraint) logic programming and software engineering LPSE\u201900, London, July 2000"},{"key":"123_CR28","doi-asserted-by":"crossref","unstructured":"Marre B, Arnould A (2000) Test Sequence generation from Lustre descriptions: GATEL. In: Proceedings of the 15th international conference on automated software engineering (ASE\u201900), Grenoble, France, 11\u201315 September 2000. IEEE Press, New York, pp 229\u2013237","DOI":"10.1109\/ASE.2000.873667"},{"key":"123_CR29","doi-asserted-by":"crossref","unstructured":"Meudec C (1999) Test derivation from model based formal specifications. In: Proceedings of the 3rd Irish workshop on formal methods (IWFM\u201999). BCS, electronic workshops in computing, Galway, Eire, July 1999","DOI":"10.14236\/ewic\/IWFM1999.11"},{"key":"123_CR30","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1002\/stvr.225","volume":"11","author":"Meudec","year":"2001","unstructured":"Meudec C (2001) ATGEN: Automatic test data generation using constraint logic programming and symbolic execution. J Softw Test Verif Reliabil 11(2):81\u201396","journal-title":"J Softw Test Verif Reliabil"},{"key":"123_CR31","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1111\/j.1467-8640.1989.tb00328.x","volume":"5","author":"Nadel","year":"1996","unstructured":"Nadel BA (1996) Constraint satisfaction algorithms. Comput Intell 5:188\u2013224","journal-title":"Comput Intell"},{"key":"123_CR32","unstructured":"Neilson D, Sorensen IH (1999) The B-Technologies: a system for computer aided programming. B-Core (UK) Limited, Kings Piece, Harwell, Oxon, OX11 0PA, 1999. Available at: http:\/\/www.b-core.com\/btoolkit.html"},{"key":"123_CR33","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V","volume":"29","author":"Offutt","year":"1999","unstructured":"Offutt AJ, Jin Z, Pan J (1999) The dynamic domain reduction procedure for test data generation. J Softw Pract Exper 29(2):167\u2013193","journal-title":"J Softw Pract Exper"},{"key":"123_CR34","unstructured":"Pretschner A (2001) Classical search strategies for test case generation with constraint logic programming. In: Proceedings of the CONCUR\u201901 workshop on formal approaches to testing of software (FATES\u201901), Aalborg, Denmark, BRICS Technical Report (http:\/\/www.bricks.dk\/NS\/01\/4), August 2001, pp 47\u201360"},{"key":"123_CR35","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1142\/S0218194096000041","volume":"6","author":"Sterling","year":"1996","unstructured":"Sterling L, Ciancarini P, Turnidge T (1996) On the animation of \u201cNot executable\u201d specification by prolog. J Softw Eng Knowl Eng 6(1):63\u201387","journal-title":"J Softw Eng Knowl Eng"},{"key":"123_CR36","first-page":"a","volume":"notation","author":"Spivey","year":"1992","unstructured":"Spivey JM (1992) The Z notation: a reference manual, 2nd edn. Prentice-Hall, Upper Saddle River, NJ","journal-title":"The Z"},{"key":"123_CR37","unstructured":"Tsang E (1993) Foundations of constraint satisfaction. Academic, New York"},{"key":"123_CR38","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1049\/sej.1992.0027","volume":"7","author":"West","year":"1992","unstructured":"West MM, Eaglestone BM (1992) Software development: two approaches to animation of Z specifications using Prolog. Softw Eng J 7(4):264\u2013276","journal-title":"Softw Eng J"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0123-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-003-0123-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0123-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T00:06:23Z","timestamp":1585872383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-003-0123-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12,19]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["123"],"URL":"https:\/\/doi.org\/10.1007\/s10009-003-0123-8","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,12,19]]}}}