@conference{veraicst2013, author = "Abian Blome and Martin Ochoa and Keqin Li and Michle Peroli and Torabi Dashti, Mohammad", booktitle = "Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on", note = "partners:SIEMENS,ETH; projects:SPaCIoS; NESSoS; tier:C; citations: 1", pages = "471-478", publisher = "IEEE Press", title = "{{VERA}}: {A} flexible model-based vulnerability testing tool", year = "2013", }