gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior | IEEE Conference Publication | IEEE Xplore