{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:44Z","timestamp":1725486164504},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426103"},{"type":"electronic","value":"9783540454182"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45418-7_6","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T17:08:09Z","timestamp":1180890489000},"page":"58-70","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Automated Test and Oracle Generation for Smart-Card Applications"],"prefix":"10.1007","author":[{"given":"Duncan","family":"Clarke","sequence":"first","affiliation":[]},{"given":"Thierry","family":"J\u00e9ron","sequence":"additional","affiliation":[]},{"given":"Vlad","family":"Rusu","sequence":"additional","affiliation":[]},{"given":"Elena","family":"Zinovieva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,11]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"A. Belinfante, J. Feenstra, R. de Vries, J. Tretmans, N. Goga, L. Feijs, and S. Mauw. Formal test automation: a simple experiment. In International Workshop on the Testing of Communication Systems (IWTCS\u201999), pages 179\u2013196, 1999.","DOI":"10.1007\/978-0-387-35567-2_12"},{"key":"6_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/3-540-48119-2_19","volume-title":"Proceedings of World Conference on Formal Methods, FM\u201999","author":"M. Bozga","year":"1999","unstructured":"M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier. If: An intermediate representation and validation environment for timed asynchronous systems. In Proceedings of World Conference on Formal Methods, FM\u201999, volume 1708 of LNCS, pages 307\u2013327, Toulouse, France, September 1999. Springer-Verlag."},{"key":"6_CR3","unstructured":"CEPSCO. Common Electronic Purse Specifications, Technical Specification (\n                    http:\/\/www.cepsco.org\n                    \n                  ), May 2000."},{"key":"6_CR4","unstructured":"ISO\/IEC. LOTOS-a formal description technique based on the temporal ordering of observational behaviour. Technical Report 8807, International Organization for Standards-Information Processing Systems-Open Systems Interconnection, 1988."},{"key":"6_CR5","unstructured":"ISO\/IEC. International Standard 9646-1\/2\/3, OSI-Open Systems Interconnection, Information Technology-Open Systems Interconnection Conformance Testing Methodology and Framework, 1992."},{"key":"6_CR6","unstructured":"ITU-T. Recommendation Z-100. Specification and Description Language (SDL), 1994."},{"key":"6_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-48683-6_12","volume-title":"Computer Aided Verification (CAV\u2019 99)","author":"T. J\u00e9ron","year":"1999","unstructured":"T. J\u00e9ron and P. Morel. Test generation derived from model-checking. In Computer Aided Verification (CAV\u2019 99), volume 1633 of LNCS, pages 108\u2013122, 1999."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"A. Kerbrat, T. J\u00e9ron, and R. Groz. Automated test genration from SDL specifications. In Proceedings of SDL Forum. Elsevier Science (North Holland), 1999.","DOI":"10.1016\/B978-044450228-5\/50011-4"},{"key":"6_CR9","unstructured":"W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpiesman, and D. Wonnacott. The Omega library interface guide. Available at \n                    http:\/\/www.cs.umd.edu\/projects\/omega\n                    \n                  ."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"H. Martin and L. du Bousquet. Automatic test generation for java-card applets. In Proceedings of the Java-Card Workshop, Cannes, September 2000.","DOI":"10.1007\/3-540-45165-X_10"},{"key":"6_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-40911-4_20","volume-title":"International Conference on Integrating Formal Methods","author":"V. Rusu","year":"2000","unstructured":"Vlad Rusu, Lydie du Bousquet, and Thierry J\u00e9ron. An approach to symbolic test generation. In International Conference on Integrating Formal Methods, volume 1945 of Lecture Notes in Computer Science, pages 338\u2013357, Dagstuhl, Germany, November 2000. Springer-Verlag."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Sandra Rapps and Elaine J. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, SE-11(4):367\u2013375, April 1985.","DOI":"10.1109\/TSE.1985.232226"},{"key":"6_CR13","unstructured":"J. Tretmans. A formal approach to conformance testing. In The 6th International Workshop on Protocol Test Systems, number C-19 in IFIP Transactions, pages 257\u2013276, 1994."}],"container-title":["Lecture Notes in Computer Science","Smart Card Programming and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45418-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:38:58Z","timestamp":1558258738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45418-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426103","9783540454182"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45418-7_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"11 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}