Dynamic Program Analysis

10, SMA — Software Modeling and Analysis