Text this: An optimized attack tree model for security test case planning and generation