Conference paperThe feasibility of automated feedback-directed specification-based test generation: A case study of a high-assurance operating system