titan (hackage): Testing Infrastructure for Temporal AbstractioNs
Keywords: gpl|program|testing|debugging|frp|functional-programming|functional-reactive-programming|haskell|quickcheck|record-and-replay|visual-debugging