Assessing the Usefulness of Testing for Validating and Correcting Security Risk Models Based on Two Industrial Case Studies. - Gencer Erdogan; Fredrik Seehusen; Ketil Stølen; Jon Hofstad; Jan Øyvind Aagedal (Int. J. Secur. Softw. Eng., 2015)