Security ; Security patterns ; Attack Defense Trees ; Test case generation