VERA: A Flexible Model-Based Vulnerability Testing Tool | IEEE Conference Publication | IEEE Xplore