Combinatorial Interaction Testing of a Java Card Static Verifier.

Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana

Browse the full ICST paper archive.