System Integration Testing for Unintended Behaviors in Flight-Critical Aerospace Applications | IEEE Conference Publication | IEEE Xplore