Automatic Generation of Vulnerability Tests for the Java Card Byte Code Verifier | IEEE Conference Publication | IEEE Xplore