There is something I've been seeing growing due to AI that's proof driven development. It's basically a test that checks for an infinite number of cases as far as I understand. Now they are introducing AI to write the proof because it's very demanding work.