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.
11 comments
[ 0.22 ms ] story [ 43.3 ms ] threadIt 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
The first issue was on 2013-06-07, just over ten years ago.