The blog post about verifying ChatGPT code with Kani is very interesting. [0] It introduced me to model checking with Kani [1], which seems to be very similar

The blog post about verifying ChatGPT code with Kani is very interesting. [0] It introduced me to model checking with Kani [1], which seems to be very similar to fuzzing, but with a different goal and underlying algorithm. Fuzzy testing involves random byte sequences whereas Kani's approach is exhaustive, while using some techniques to reduce the search space if possible. [0]: https://medium.com/@carlmkadie/check-ai-generated-code-perfectly-and-automatically-d5b61acff741 https://medium.com/@carlmkadie/check-ai-generated-code-perfe... [1]: https://github.com/model-checking/kani https://github.com/model-checking/kani