שליחה במסרון: Modeling software behavior