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.
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-perfe...
[1]: https://github.com/model-checking/kani