Given the amount of code being generated with the help of AI, software testing is becoming more important and, at the same time, harder. Minish is an example of a tool that aims to make it easier to test the correctness of the code in a more systematic way.
Project's GitHub repo: https://github.com/CogitatorTech/minish