Semi-automatic security testing of web applications from a secure model (2012)

by M Buchler, J Oudinet, A Pretschner
Venue:In Software Security and Reliability (SERE), 2012 IEEE Sixth International Conference on