Tekstiviesti: Modeling software behavior