NLPropTest: Parsing English to Property-Based Tests with Categorial Grammars

Jupyter notebook capturing prototype NL to PBT conversion, including runs on some STTP examples (and others). This work contains some examples drawn from a now-offline version of "Software Testing: From Theory and Practice," archived at https://web.archive.org/web/20201229191633/https://sttp.site/, which was superseded by that author's excellent new book "Effective Software Testing" (https://www.effective-software-testing.com/).

This artifact is paired with an ICSE NIER 2022 paper "Towards Property-Based Tests in Natural Language."