1. A method of modeling runtime behavior for a software application, comprising: limiting a portion of a run to be analyzed using criteria that define an analysis scenario; structuring events of said analysis scenario as a flow of logical content through a plurality of transformations; applying labels to elements of said flow; and generating a behavior signature for said analysis scenario based on said labels.