Modeling Software Behavior