View graphs for analysis and testing of programs at different abstraction levels | IEEE Conference Publication | IEEE Xplore