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]
@inproceedings{GouraudG06,
title = {Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine},
author = {Sandrine-Dominique Gouraud and Arnaud Gotlieb},
year = {2006},
doi = {10.1007/11603023_1},
url = {http://dx.doi.org/10.1007/11603023_1},
tags = {Java, testing},
researchr = {https://researchr.org/publication/GouraudG06},
cites = {0},
citedby = {0},
pages = {1-15},
booktitle = {Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings},
editor = {Pascal Van Hentenryck},
volume = {3819},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-30947-0},
}