Discovering Program's Behavioral Patterns by Inferring Graph-Grammars from Execution Traces | IEEE Conference Publication | IEEE Xplore