Stav dette: Functional program testing and analysis