{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T00:10:02Z","timestamp":1737504602156,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434191"},{"type":"electronic","value":"9783540460022"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46002-0_14","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T06:29:59Z","timestamp":1193552999000},"page":"188-204","source":"Crossref","is-referenced-by-count":15,"title":["CLPS-B\u2014A Constraint Solver for B"],"prefix":"10.1007","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":[[2002,3,14]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"J-R Abrial. The B-Book. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"14_CR2","unstructured":"F. Ambert, B. Legeard, and E. Legros. Constraint Logic Programming on Sets and Multisets. In Proceedings of ICLP\u201994, pages 151\u2013165, 1994."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"A. Aiken and E.L. Wilmmers. Type Inclusion Constraints and Type Inference. In Conference on FPL Computer Architecture, pages 31\u201341, 1993.","DOI":"10.1145\/165180.165188"},{"key":"14_CR4","unstructured":"B-Core(UK) Ltd, http:\/\/www.b-core.com\/btoolkit.html . B-Toolkit, 10\/2001."},{"key":"14_CR5","unstructured":"F. Bouquet, B. Legeard, and F. Peureux. Constraint logic programming with sets for animation of B formal specifications. In CL\u20192k Workshop LPSE, 2000."},{"key":"14_CR6","unstructured":"Clearsy, http:\/\/www.atelierb.societe.com . Atelier B V3, 10\/2001."},{"key":"14_CR7","unstructured":"J. Dick. Using Prolog to animate Z specifications. In Z User Meeting 1989. Workshops in Computing. Springer-Verlag, 1990."},{"key":"14_CR8","unstructured":"European Telecoms Std Institute. GSM 11.11 v7. http:\/\/www.etsi.org , 1999."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"A. Gotlieb, B. Botella, and M. Rueher. A CLP framework for computing structural test data. In Springer-Verlag, editor, CL\u20192000, pages 399\u2013413, 2000.","DOI":"10.1007\/3-540-44957-4_27"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"C. Gervet. Interval Propagation to Reason about Sets: Definition and Implementation of a practical language. Constraints, 1(2), 1997.","DOI":"10.1007\/BF00137870"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Wolgang Grieskamp. A computation model for Z based on concurrent constraint resolution. In LNCS, editor, ZB\u201900, volume 1878, pages 414\u2013432, 2000.","DOI":"10.1007\/3-540-44525-0_24"},{"key":"14_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Set Constraints and logic Programming (abstract)","author":"D. Kozen","year":"1994","unstructured":"D. Kozen. Set Constraints and logic Programming (abstract). In Proceedings of the 1st International Conference Constraints in Computational Logics, LNCS 845. Springer-Verlag, 1994."},{"key":"14_CR13","unstructured":"H. Lotzbeyer and A. Pretschner. AutoFocus on constraint logic programming. In CL\u20192000 Workshop LPSE, London, UK, 2000."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"B. Legeard and F. Peureux. Generation of functional test sequences from B formal specifications\u2014presentation and industrial case-study. In 16th IEEE International conference on ASE\u20192001, pages 377\u2013381, 2001.","DOI":"10.1109\/ASE.2001.989833"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"B. Legeard, F. Peureux, and M. Utting. A comparison of the LIFC\/B and TTF\/Z test-generation methods. In The 2nd International Z and B Conference (ZB\u201902), page to appear, Grenoble, France, January 2002.","DOI":"10.1007\/3-540-45648-1_16"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"B. Marre and A. Arnould. Test Sequence generation from Lustre descriptions: GATEL. In Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE\u201900), Grenoble, France, 2000.","DOI":"10.1109\/ASE.2000.873667"},{"issue":"2","key":"14_CR17","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1002\/stvr.225","volume":"11","author":"C. Meudec","year":"2001","unstructured":"C. Meudec. ATGEN: Automatic test data generation using constraint logic programming and symbolic execution. The Journal of Software Testing, Verification and Reliability, 11(2):81\u201396, 2001.","journal-title":"The Journal of Software Testing, Verification and Reliability"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1111\/j.1467-8640.1989.tb00328.x","volume":"5","author":"B. A. Nadel","year":"1989","unstructured":"B. A. Nadel. Constraint Satisfaction Algorithms. Computer Intelligence, 5:188\u2013224, 1989.","journal-title":"Computer Intelligence"},{"issue":"2","key":"14_CR19","first-page":"167","volume":"29","author":"A.J. Offutt","year":"1999","unstructured":"A.J. Offutt, Z. Jin, and J. Pan. The dynamic domain reduction procedure for test data generation. The Journal of SPE, 29(2):167\u2013193, 1999.","journal-title":"The Journal of SPE"},{"issue":"1","key":"14_CR20","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1142\/S0218194096000041","volume":"6","author":"L. Sterling","year":"1996","unstructured":"L. Sterling, P. Ciancarini, and T. Turnidge. On the animation of \u201cnot executable\u201d specification by prolog. in Journal of Software Engineering and Knowledge Engineering, 6(1):63\u201387, 1996.","journal-title":"in Journal of Software Engineering and Knowledge Engineering"},{"key":"14_CR21","unstructured":"E. Tsang. Foundation of constraint satisfaction. Academic Press, 1993."},{"issue":"4","key":"14_CR22","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1049\/sej.1992.0027","volume":"7","author":"M.M. West","year":"1992","unstructured":"M.M. West and B.M. Eaglestone. Software Development: Two approaches to animation of Z specifications using Prolog. Software Engineering Journal, 7(4):264\u2013276, 1992.","journal-title":"Software Engineering Journal"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46002-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T23:50:49Z","timestamp":1737503449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46002-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434191","9783540460022"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-46002-0_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}