Stav dette: Modeling software behavior