- Sandrine-Dominique Gouraud and Arnaud Gotlieb. Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. In P. Van Hentenryck, editor, PADL '06: Proc. 8th Intl. Symp. Practical Aspects of Declarative Languages, volume 3819 of LNCS, pages 1-15, January 2006. SV. [doi:10.1007/11603023_1] Keyword(s): applications, testing.
BACK TO INDEX