Applying Machine Learning for Run-time Bug Detection in Aviation Software