Optimizing Generation of Object Graphs in Java PathFinder | IEEE Conference Publication | IEEE Xplore