3 ms·
Compiling law into generative property based tests for gov service
- gordonguthrie 3y agoRules 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.