Towards program execution summarization: Deriving state diagrams from sequence diagrams. - Swaminathan Jayaraman; Kishor Kamath D.; Bharat Jayaraman (IC3, 2014)