Text this: Modeling software behavior :