Exploration Of The Insider Threat Using Semi-Automatic Bug Generation