SMS: Modeling software behavior