Andreas Podelski;Gert Smolka
-;-
Using CHRs to generate functional test cases for the java card virtual machine
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages