FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification