{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:50:48Z","timestamp":1725551448210},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540309475"},{"type":"electronic","value":"9783540316855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11603023_1","type":"book-chapter","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T13:45:28Z","timestamp":1135259128000},"page":"1-15","source":"Crossref","is-referenced-by-count":1,"title":["Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine"],"prefix":"10.1007","author":[{"given":"Sandrine-Dominique","family":"Gouraud","sequence":"first","affiliation":[]},{"given":"Arnaud","family":"Gotlieb","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal\u00a06, 387\u2013405 (1991)","journal-title":"Software Engineering Journal"},{"key":"1_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, 915\u2013948 (2004)","journal-title":"International Journal of Software Practice and Experience"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1145\/566172.566190","volume-title":"ISSTA 2002: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis","author":"W. Grieskamp","year":"2002","unstructured":"Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. In: ISSTA 2002: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, pp. 112\u2013122. ACM Press, New York (2002)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-45418-7_2","volume-title":"Smart Card Programming and Security","author":"G. Barthe","year":"2001","unstructured":"Barthe, G., Dufay, G., Huisman, M., Sousa, S.: Jakarta: A toolset for reasoning about javaCard. In: Attali, I., Jensen, T. (eds.) E-smart 2001. LNCS, vol.\u00a02140, pp. 2\u201318. Springer, Heidelberg (2001)"},{"key":"1_CR5","unstructured":"http:\/\/coq.inria.fr\/"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-45309-1_20","volume-title":"Programming Languages and Systems","author":"G. Barthe","year":"2001","unstructured":"Barthe, G., Dufay, G., Jakubiec, L., Serpette, B., de Sousa, S.M.: A Formal Executable Semantics of the JavaCard Platform. In: Sands, D. (ed.) ESOP 2001. LNCS, vol.\u00a02028, pp. 302\u2013319. Springer, Heidelberg (2001)"},{"key":"1_CR7","unstructured":"Brisset, P., Sakkout, H., Fruhwirth, T., Gervet, C.: Harvey, W., et al.: ECLiPSe Constraint Library Manual. International Computers Limited and Imperial College London, UK, Release 5.8 (2005)"},{"key":"1_CR8","unstructured":"de Sousa, S.M.: Outils et techniques pour la v\u00e9rification formelle de la plate-forme JavaCard. PhD thesis, Universit\u00e9 de Nice (2003)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T.: Theory and Practice of Constraint Handling Rules. Logic Programming 37 (1998) In: Stuckey, P., Marriott, K. (eds.) Special Issue on Constraint Logic Programming","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T., Abdennadher, S.: Essentials of Constraint Programming. Cognitive Technologies. Springer, Heidelberg (2003) ISBN 3-540-67623-6","DOI":"10.1007\/978-3-662-05138-2"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Duck, G., Stuckey, P., de la Banda, M.G., Holzbaur, C.: Extending arbitrary solvers with constraint handling rules. In: Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming (PPDP 2003), pp. 79\u201390 (2003)","DOI":"10.1145\/888251.888260"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/3-540-46584-7_15","volume-title":"Practical Aspects of Declarative Languages","author":"C. Schulte","year":"2000","unstructured":"Schulte, C.: Programming deep concurrent constraint combinators. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol.\u00a01753, pp. 215\u2013229. Springer, Heidelberg (2000)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/3-540-60299-2_20","volume-title":"Principles and Practice of Constraint Programming - CP 1995","author":"A. Podelski","year":"1995","unstructured":"Podelski, A., Smolka, G.: Situated Simplification. In: Montanari, U., Rossi, F. (eds.) CP 1995. LNCS, vol.\u00a0976, pp. 328\u2013344. Springer, Heidelberg (1995)"},{"key":"1_CR14","unstructured":"Barthe, G., Dufay, G., Jakubiec, L., Serpette, B., de Sousa, S.M., Yu, S.W.: Formalization of the JavaCard Virtual Machine in Coq. In: Drossopoulou, S., et al. (eds.) Proceedings of FTfJP 2000 (ECOOP Workshop on Formal Techniques for Java Programs), pp. 50\u201356 (2000)"},{"key":"1_CR15","unstructured":"Dufay, G.: V\u00e9rification formelle de la plate-forme Java Card. PhD thesis, Universit\u00e9 de Nice-Sophia Antipolis (2003)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Gouraud, S.D., Denise, A., Gaudel, M.C., Marre, B.: A New Way of Automating Statistical Testing Methods. In: Sixteenth IEEE International Conference on Automated Software Engineering (ASE), pp. 5\u201312 (2001)","DOI":"10.1109\/ASE.2001.989785"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(94)90226-7","volume":"132","author":"P. Flajolet","year":"1994","unstructured":"Flajolet, P., Zimmermann, P., Van Cutsem, B.: A calculus for the random generation of labelled combinatorial structures. Theoretical Computer Science\u00a0132, 1\u201335 (1994)","journal-title":"Theoretical Computer Science"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Denise, A., Gaudel, M.C., Gouraud, S.D.: A Generic Method for Statistical Testing. In: Fifteenth IEEE International Symposium on Software Reliability Engineering, pp. 25\u201334 (2004)","DOI":"10.1109\/ISSRE.2004.2"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/3-540-44957-4_27","volume-title":"Grammatical Inference: Algorithms and Applications","author":"A. Gotlieb","year":"2000","unstructured":"Gotlieb, A., Botella, B., Rueher, M.: A CLP Framework for Computing Structural Test Data. In: Oliveira, A.L. (ed.) ICGI 2000. LNCS, vol.\u00a01891, pp. 399\u2013413. Springer, Heidelberg (2000)"},{"key":"1_CR20","unstructured":"Pretschner, A., L\u00f6tzbeyer, H.: Model Based Testing with Constraint Logic Programming: First Results and Challenges. In: Proceedings 2nd ICSE Intl. Workshop on Automated Program Analysis, Testing and Verification (2001)"},{"key":"1_CR21","unstructured":"L\u00f6tzbeyer, H., Pretschner, A.: AutoFocus on Constraint Logic Programming. In: Proceedings of (Constraint) Logic Programming and Software Engineering, LPSE 2000 (2000)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11603023_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T19:10:20Z","timestamp":1586632220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11603023_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540309475","9783540316855"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11603023_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}