Sandrine-Dominique Gouraud, Arnaud Gotlieb. Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. In Pascal Van Hentenryck, editor, Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings. Volume 3819 of Lecture Notes in Computer Science, pages 1-15, Springer, 2006. [doi]