Automatic Test Generation for Java-Card Applets. - Hugues Martin; Lydie du Bousquet (Java Card Workshop, 2000)

Conformance Testing from UML Specifications. Experience Report. - Lydie du Bousquet; Hugues Martin; Jean-Marc Jézéquel (pUML, 2001)