{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T14:04:49Z","timestamp":1773324289910,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540421672","type":"print"},{"value":"9783540451655","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45165-x_10","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T10:17:47Z","timestamp":1186741067000},"page":"121-136","source":"Crossref","is-referenced-by-count":6,"title":["Automatic Test Generation for Java Card Applets"],"prefix":"10.1007","author":[{"given":"Hugues","family":"Martin","sequence":"first","affiliation":[]},{"given":"Lydie","family":"du Bousquet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,18]]},"reference":[{"key":"10_CR1","unstructured":"S. Barbey. Test selection for specification-based unit testing of objectoriented software based on formal specification. PhD thesis, Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne, Switzerland, 1997."},{"key":"10_CR2","unstructured":"G. Booch, I. Jacobson, and J. Rumbaugh. The Unified Modeling Langage-User Guide. Addison-Wesley, 1998."},{"key":"10_CR3","unstructured":"G. Booch, I. Jacobson, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1998."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"J.-M. J\u00e9z\u00e9quel, A. LeGuennec, and F. Pennaneach. Validating distributed software modelled with UML. In Proc.Int.Workshop UML98, Mulhouse, France, June 1998.","DOI":"10.1007\/978-3-540-48480-6_28"},{"key":"10_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_12","volume-title":"Computer Aided Verification (CAV)","author":"T. J\u00e9ron","year":"1999","unstructured":"T. J\u00e9ron and P. Morel. Test generation derived from model-checking. In Computer Aided Verification (CAV). LNCS 1633, Springer-Verlag, 1999."},{"key":"10_CR6","unstructured":"J.-L. Lanet. Using the b method to model protocols. In Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels (AFADL), pages 79\u201390, Poitiers, France, September 1998."},{"key":"10_CR7","series-title":"Lect Notes Comput Sci","first-page":"348","volume-title":"World Congress on Formal Methods","author":"P. Lartigue","year":"1999","unstructured":"P. Lartigue and D. Sabatier. The use of the b formal method for the design and the validation of the transaction mechanism for smart card applications. In World Congress on Formal Methods, volume LNCS 1708, pages 348\u2013369, Toulouse, France, September 1999. Springer Verlag."},{"key":"10_CR8","unstructured":"H. Martin. Using test hypotheses to build a uml model of object-oriented smart card applications. In International Conference on Software and Systems Engineering and their Applications (ICSSEA), Paris, France, December 1999."},{"key":"10_CR9","unstructured":"H. Martin and L. du Bousquet. Tools for automated conformance testing of java card applets. Technical report, Gemplus, September 2000."},{"key":"10_CR10","unstructured":"S. Motr\u00e9. R\u00e9alisation et sp\u00e9cification du mod\u00e8le formel du firewall de la java card en utilisant la m\u00e9thode b. In Approches Formelles dans l\u2019Assistance au D\u00e8veloppement de Logiciels (AFADL), Grenoble, France, January 2000."},{"key":"10_CR11","unstructured":"M. Phalippou. Relations d\u2019impl\u00e9mentations et hypoth\u00e8ses de test sur des automates \u00e0 entr\u00e9es et sorties. Th\u00e8se, Universit\u00e9 Bordeaux I, France, septembre 1994."},{"key":"10_CR12","series-title":"Lect Notes Comput Sci","volume-title":"10th Int.Confer ence on Concurrency Theory (CONCUR\u201999)","author":"J. Tretmans","year":"1999","unstructured":"J. Tretmans. Testing concurrent systems: A formal approach. In J.C.M Baeten and S. Mauw, editors, 10th Int.Confer ence on Concurrency Theory (CONCUR\u201999), volume LNCS 1664. Springer-Verlag, 1999."},{"key":"10_CR13","unstructured":"Unified modeling language specification, version 1.3, June 1999. Information available at http:\/\/www.omg.org\/cgi-bin\/doc?ad\/99-06-08 ."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"J.-J. Vandewalle and E. V\u00e9tillard. Developing smart card-based applications with java card. In Third European Research Seminar on Advances in Distributed Systems (ERSADS), Madeira Island-Portugal, April 1999.","DOI":"10.1007\/10721064_9"}],"container-title":["Lecture Notes in Computer Science","Java on Smart Cards:Programming and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45165-X_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T09:52:22Z","timestamp":1708163542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45165-X_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421672","9783540451655"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45165-x_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}