Visualization, Analysis, and Testing of Java and AspectJ Programs with Multi-level System Graphs | IEEE Conference Publication | IEEE Xplore