Measuring and achieving test coverage of attack simulations extended version. - Simon Hacks; Linus Persson; Nicklas Hersén (Softw. Syst. Model., 2023)