本稿は、自作OS AdC 2019の12/21兼IQ1 AdC 12/24の記事です（ポストが遅れてしまい申し訳ございません）。並行プログラムの実装で問題になる並行バグを対象とする自動検知の手法として、並行ファジングと呼ばれる手法があります[1,2,3,4,5]。本稿では、その…