Combinatorial Interaction Testing of a Java Card Static Verifier | IEEE Conference Publication | IEEE Xplore