Stem vera$ (all stems)
2 papers:
- ICST-2013-BlomeOLPD #flexibility #modelling #named #testing
- VERA: A Flexible Model-Based Vulnerability Testing Tool (AB, MO, KL, MP, MTD), pp. 471–478.
- AdaEurope-1999-Hemeury #empirical
- Report on the VERA Experiment (BH), pp. 103–113.