  We consider a new approach to generate tests from natural language. Rather
than relying on machine learning or templated extraction from structured
comments, we propose to apply classic ideas from linguistics to translate
natural-language sentences into executable tests. This paper explores the
application of combinatory categorial grammars (CCGs) to generating
property-based tests. Our prototype is able to generate tests from English
descriptions for each example in a textbook chapter on property-based testing.
