Alberto Calvi, Luca Viganò: An automated approach for testing the security of web applications against chained attacks. SAC 2016: 2095-2102