Combining Static and Dynamic Analyses to Reverse-Engineer Scenario Diagrams. - Yvan Labiche; Bojana Kolbah; Hossein Mehrfard (ICSM, 2013)