{VERA}: A flexible model-based vulnerability testing tool

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2013
Type of Publication:	In Proceedings
Authors:	Blome, Abian Ochoa, Martin Li, Keqin Peroli, Michle Torabi Dashti, Mohammad

Book title:	Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on
Pages:	471-478




@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", }
Note:	partners:SIEMENS,ETH; projects:SPaCIoS; NESSoS; tier:C; citations: 1
[Bibtex]