FXplorer: Exploration of Computed Software Behavior: A New Approach to Understanding and Verification (2009)

by L Burns, T Daly
Venue:Proceedings of Hawaii International Conference on System Sciences (HICSS-42), IEEE Computer