Automated test methodology for Operational Flight Programs | IEEE Conference Publication | IEEE Xplore