FP /
QuickCheckingCCodeViaHaskell
QuickChecking C code via Haskell
Build a tool that one can use to QuickCheck C code against a Haskell specification. Use this to test open-source libraries in C, for example for datastructures, image manipulation, compression, encryption, etc.
Background: Intro.FP, Datastructures, C; (preferably) AFP, Program Verification. Number of people: 2. Contact person: Koen