Property-based testing, adversarial developers, and LLMs

Author: Igor Konnov Date: December 22, 2025 I present a simple example that illustrates how property-based testing (PBT) and model checking can help us catch unexpected behaviors of LLMs when they are used to generate code. The example is inspired by the talk on property-based testing by Scott Wlaschin . If you are looking for a light example that stresses the importance of writing good properties…