Automatic Test Generation for Java-Card Applets

Hugues Martin, Lydie du Bousquet. Automatic Test Generation for Java-Card Applets. In Isabelle Attali, Thomas P. Jensen, editors, Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers. Volume 2041 of Lecture Notes in Computer Science, pages 121-136, Springer, 2000. [doi]

Authors

Hugues Martin

This author has not been identified. Look up 'Hugues Martin' in Google

Lydie du Bousquet

This author has not been identified. Look up 'Lydie du Bousquet' in Google