Sounds really similar to Property based testing [1]. (Rule-based testing)

[1] https://unzip.dev/0x009-property-based-testing/