MobSTer: A model-based security testing framework for web applications. - Michele Peroli; Federico De Meo; Luca Viganò 001; Davide Guardini (Softw. Test. Verification Reliab., 2018)