Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing.

Aymerick Savary, Marc Frappier, Jean-Louis Lanet

Browse the full IFM paper archive.