A Method for Exception Scenarios Generation Using Templates of Exceptions. - Hiroki Shudo; Atsushi Ohnishi (APSEC, 2010)