{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T23:10:34Z","timestamp":1739920234406,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540238416"},{"type":"electronic","value":"9783540304821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30482-1_24","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T16:27:38Z","timestamp":1267460858000},"page":"239-258","source":"Crossref","is-referenced-by-count":2,"title":["Faster Analysis of Formal Specifications"],"prefix":"10.1007","author":[{"given":"Fabrice","family":"Bouquet","sequence":"first","affiliation":[]},{"given":"Bruno","family":"Legeard","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Utting","sequence":"additional","affiliation":[]},{"given":"Nicolas","family":"Vacelet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Apt, K.R., Bezem, M.A.: Formulas as programs. In: Centrum voor Wiskunde en Informatica (CWI), 194, p. 26 (1998) ISSN 1386-3711, 31"},{"key":"24_CR2","unstructured":"Ambert, F., Bouquet, F., Chemin, S., Guenaud, S., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: BZ-TT: A tool-set for test generation from Z and B using constraint logic programming. In: Proceedings of the CONCUR 2002, Workshop on Formal Approaches to Testing of Software (FATES 2002), Brn\u00f6, Czech Republic, August 2002, pp. 105\u2013120 (2002), INRIA Technical Report (2002)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Van Aertryck, L., Benveniste, M., le Metayer, D.: CASTING: a formally based software test generation method. In: 1 st IEEE International Conference on Formal Engineering Methods (ICFEM 1997), pp. 99\u2013112 (1997)","DOI":"10.1109\/ICFEM.1997.630411"},{"key":"24_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-BOOK: Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-BOOK: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996) ISBN 0 521 49619 5"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Bernard, E., Legeard, B., Luck, X., Peureux, F.: Generation of test sequences from formal specifications: GSM 11.11 standard case-study. The Journal of Software Practice and Experience (accepted for publication, 2004)","DOI":"10.1002\/spe.597"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-46002-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Bouquet","year":"2002","unstructured":"Bouquet, F., Legeard, B., Peureux, F.: CLPS-B \u2013 A constraint solver for B. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 188\u2013204. Springer, Heidelberg (2002)"},{"issue":"8","key":"24_CR7","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulatio. IEEE Transactions on Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"24_CR8","unstructured":"The BZ-TT web site (September 2003), http:\/\/lifc.univ-fcomte.fr\/~bztt"},{"key":"24_CR9","unstructured":"Emv 2000 specifications version 4.0 (December 2000) http:\/\/www.emvco.com"},{"key":"24_CR10","unstructured":"Common electronic purse specifications version 2.3 (March 2001), http:\/\/www.cepsco.com"},{"key":"24_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandra","year":"1999","unstructured":"Cassandra, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publisher, Dordrecht (1999)"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Colin, S., Legeard, B., Peureux, F.: Preamble computation in automated test generation using Constraint Logic Programming. In: Proceedings of UK-Test Workshop, York, UK (September 2003)","DOI":"10.1002\/stvr.300"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"FME 1993: 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., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 268\u2013284. Springer, Heidelberg (1993)"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-49059-0_16","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"G. Delzanno","year":"1999","unstructured":"Delzanno, G., Podelski, A.: Model Checking in CLP. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 223\u2013239. Springer, Heidelberg (1999)"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Gupta, R., Berson, D.A., Fang, J.Z.: Path profile guided partial dead code elimation using predication. In: International Conference on Parallel Architectures and Compilation Techniques, November 10\u201314, pp. 102\u2013113 (1997)","DOI":"10.1109\/PACT.1997.644007"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/3-540-44957-4_27","volume-title":"Computational Logic - CL 2000","author":"A. Gotlieb","year":"2000","unstructured":"Gotlieb, A., Botella, B., Rueher, M.: A CLP framework for computing structural test data. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS, vol.\u00a01861, pp. 399\u2013413. Springer, Heidelberg (2000)"},{"key":"24_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-44525-0_24","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"W. Grieskamp","year":"2000","unstructured":"Grieskamp, W.: A computation model for Z based on concurrent constraint resolution. In: P. Bowen, J., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, pp. 414\u2013432. Springer, Heidelberg (2000)"},{"key":"24_CR18","unstructured":"Legeard, B., Bouquet, F., Lebeau, F.: Automated Test Generation and Execution for Automtive Embeded Software. In: International Council on Systems Engineering (ed.), INCOSE 2004, Annual International Symposium 4th European Systems Engineering Conference, June 20-24 (to appear, 2004)"},{"key":"24_CR19","unstructured":"The Leirios web site (September 2003), http:\/\/www.leirios.com"},{"key":"24_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-45614-7_2","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"B. Legeard","year":"2002","unstructured":"Legeard, B., Peureux, F., Utting, M.: Automated Boundary Testing from Z and B. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 21\u201340. Springer, Heidelberg (2002)"},{"issue":"2","key":"24_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/stvr.287","volume":"14","author":"B. Legeard","year":"2004","unstructured":"Legeard, B., Peureux, F., Utting, M.: Controlling test case explosion in test generation from b formal models. The Journal of Software Testing, Verification and Reliability\u00a014(2), 1\u201323 (to appear, 2004)","journal-title":"The Journal of Software Testing, Verification and Reliability"},{"key":"24_CR22","first-page":"229","volume-title":"Proceedings of the 15 th International Conference on Automated Software Engineering (ASE 2000)","author":"B. Marre","year":"2000","unstructured":"Marre, B., Arnould, A.: Test Sequence generation from Lustre descriptions: GATEL. In: Proceedings of the 15 th International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, pp. 229\u2013237. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"24_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: An Introduction","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.J.: Programming with Constraints: An Introduction. MIT Press, Cambridge (1998)"},{"key":"24_CR24","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, Addison-wesley edition (1999)"},{"key":"24_CR25","volume-title":"The Z notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z notation: A Reference Manual, 2nd edn. Prentice-Hall, Englewood Cliffs (1992) ISBN 0 13 978529 9","edition":"2"},{"key":"24_CR26","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"1998","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading (1998)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30482-1_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T22:39:47Z","timestamp":1739918387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30482-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540238416","9783540304821"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30482-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}