{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:47:50Z","timestamp":1725475670412},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540687603"},{"type":"electronic","value":"9783540687610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11955757_29","type":"book-chapter","created":{"date-parts":[[2006,12,11]],"date-time":"2006-12-11T09:34:20Z","timestamp":1165829660000},"page":"277-280","source":"Crossref","is-referenced-by-count":12,"title":["LEIRIOS Test Generator: Automated Test Generation from B Models"],"prefix":"10.1007","author":[{"given":"Eddie","family":"Jaffuel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Legeard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","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)"},{"key":"29_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: Proc. of Formal Approaches to Testing of Software, FATES 2002 (workshop of CONCUR 2002), Brn\u00f6, R\u00e9publique Tch\u00e8que, August 2002, pp. 105\u2013120 (2002)"},{"issue":"10","key":"29_CR3","doi-asserted-by":"publisher","first-page":"915","DOI":"10.1002\/spe.597","volume":"34","author":"E. Bernard","year":"2004","unstructured":"Bernard, E., Legeard, B., Luck, X., Peureux, F.: Generation of test sequences from formal specifications: GSM 11-11 standard case study. International Journal of Software Practice and Experience\u00a034(10), 915\u2013948 (2004)","journal-title":"International Journal of Software Practice and Experience"},{"issue":"2","key":"29_CR4","doi-asserted-by":"publisher","first-page":"81","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. Software Testing, Verification and Reliability, STVR\u00a014(2), 81\u2013103 (2004)","journal-title":"Software Testing, Verification and Reliability, STVR"},{"key":"29_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"778","DOI":"10.1007\/978-3-540-45236-2_42","volume-title":"FME 2003: Formal Methods","author":"F. Bouquet","year":"2003","unstructured":"Bouquet, F., Legeard, B.: Reification of executable test scripts in formal specification-based test generation: The java card transaction mechanism case study. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 778\u2013795. Springer, Heidelberg (2003)"},{"key":"29_CR6","unstructured":"Schneider, S.: The B-Method - An Introduction, p. 370 (2001) ISBN 0-333-79284-X"},{"key":"29_CR7","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing - A Tools Approach, p. 528 (2006) ISBN 0-12-372501-1"}],"container-title":["Lecture Notes in Computer Science","B 2007: Formal Specification and Development in B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11955757_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:21:28Z","timestamp":1619508088000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11955757_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540687603","9783540687610"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/11955757_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}