Compiling law into generative property based tests for gov service

Rules as Code is an emerging field with law is annotated with a structured and compliable representation. The target has hithertoo been calculation libraries for social security/tax. This paper looks at compiling to generative property-based system tests.