Title: Modeling Software Behavior