This is the first in a series of posts about using property-based testing (PBT) within Komposition, a screencast editor written in Haskell that I’ve been working on during the last year. It introduces PBT and highlights some challenges in testing properties of an application like Komposition.
Case studies will come as future posts. Stay tuned! 