Semiautomatic security testing of web applications from a secure model (2012)

by Johan Oudinet, Alexander Pretschner
Venue:in SERE. IEEE