Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine.

Sandrine-Dominique Gouraud, Arnaud Gotlieb

Browse the full PADL paper archive.