@inproceedings{DBLP:conf/icst/BlomeOLPD13,
  author    = {Abian Blome and
               Mart\'{\i}n Ochoa and
               Keqin Li and
               Michele Peroli and
               Mohammad Torabi Dashti},
  title     = {{VERA}: A Flexible Model-Based Vulnerability Testing Tool},
  year      = {2013},
  pages     = {471--478},
  booktitle     = {Proceedings of the Sixth International Conference on Software Testing,
               Verification and Validation (ICST)},
  publisher = {IEEE}
}