FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification | IEEE Conference Publication | IEEE Xplore