{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:48:01Z","timestamp":1725475681167},"publisher-location":"Berlin, Heidelberg","reference-count":11,"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_10","type":"book-chapter","created":{"date-parts":[[2006,12,11]],"date-time":"2006-12-11T09:34:20Z","timestamp":1165829660000},"page":"94-108","source":"Crossref","is-referenced-by-count":2,"title":["Instantiation of Parameterized Data Structures for Model-Based Testing"],"prefix":"10.1007","author":[{"given":"Fabrice","family":"Bouquet","sequence":"first","affiliation":[]},{"given":"Jean-Fran\u00e7ois","family":"Couchot","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Dadeau","sequence":"additional","affiliation":[]},{"given":"Alain","family":"Giorgetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"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 Contraint Logic Programming. In: Formal Approaches to Testing of Software, FATES 2002 workshop of CONCUR 2002, pp. 105\u2013120 (2002)","key":"10_CR1"},{"issue":"10","key":"10_CR2","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":"10_CR3","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10009-003-0123-8","volume":"6","author":"F. Bouquet","year":"2004","unstructured":"Bouquet, F., Legeard, B., Peureux, F.: CLPS-B: A constraint solver to animate a B specification. International Journal on Software Tools for Technology Transfer, STTT\u00a06(2), 143\u2013157 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer, STTT"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/566172.566191","volume-title":"ISSTA 2002: Proceedings of the ACM SIGSOFT international symposium on Software testing and analysis","author":"C. Boyapati","year":"2002","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on java predicates. In: ISSTA 2002: Proceedings of the ACM SIGSOFT international symposium on Software testing and analysis, pp. 123\u2013133. ACM Press, New York (2002)"},{"issue":"2","key":"10_CR5","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1590\/S0104-65002003000300003","volume":"9","author":"J.-F. Couchot","year":"2003","unstructured":"Couchot, J.-F., D\u00e9harbe, D., Giorgetti, A., Ranise, S.: Scalable automated proving and debugging of set-based specifications. Journal of the Brazilian Computer Society (JBCS)\u00a09(2), 17\u201336 (2003)","journal-title":"Journal of the Brazilian Computer Society (JBCS)"},{"key":"10_CR6","series-title":"ENTCS","volume-title":"Applying light-weight theorem proving to debugging and verifying pointer programs","author":"D. D\u00e9harbe","year":"2003","unstructured":"D\u00e9harbe, D., Ranise, S.: Applying light-weight theorem proving to debugging and verifying pointer programs. ENTCS, vol.\u00a086. Elsevier, Amsterdam (2003)"},{"key":"10_CR7","first-page":"825","volume":"1","author":"I.K. El-Far","year":"2002","unstructured":"El-Far, I.K., Whittaker, J.A.: Model-based software testing. Encyclopedia of Software Engineering\u00a01, 825\u2013837 (2002)","journal-title":"Encyclopedia of Software Engineering"},{"unstructured":"European Telecommunications Standards Institute. GSM Technical Specification (1995), \n                    \n                      http:\/\/www.ttfn.net\/techno\/smartcards\/gsm11-11.pdf","key":"10_CR8"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-36577-X_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P. Fontaine","year":"2003","unstructured":"Fontaine, P., Gribomont, E.P.: Decidability of invariant validation for parameterized systems. In: Garavel, H., Hatcliff, J. (eds.) ETAPS 2003 and TACAS 2003. LNCS, vol.\u00a02619, pp. 97\u2013112. Springer, Heidelberg (2003)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"key":"10_CR11","first-page":"119","volume-title":"5th International Conference on Engineering of Complex Computer Systems (ICECCS 1999)","author":"A.J. Offutt","year":"1999","unstructured":"Offutt, A.J., Xiong, Y., Liu, S.: Criteria for generating specification-based tests. In: 5th International Conference on Engineering of Complex Computer Systems (ICECCS 1999), p. 119. IEEE Computer Society, Los Alamitos (1999)"}],"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_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:21:15Z","timestamp":1619508075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11955757_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540687603","9783540687610"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11955757_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}