What is the programming language for XXX?
QuickCheck
QuickCheck is a combinator library originally written in Haskell, designed to assist in software testing by generating test cases for test suites.
Haskell