VERA: A Flexible Model-Based Vulnerability Testing Tool.

Abian Blome, Martn Ochoa, Keqin Li, Michele Peroli, Mohammad Torabi Dashti

Browse the full ICST paper archive.