The answer is yes, absolutely, absolutely 100%. but it's not all kinds of math, and it's not all kinds of programming. that ...
I will explain what property-based testing (PBT) is and how it solves these problems. What is property-based testing (PBT)?