File Systems are Hard to Test - Learning from Xfstests. - Naohiro Aota; Kenji Kono (IEICE Trans. Inf. Syst., 2019)

Logging Inter-Thread Data Dependencies in Linux Kernel. - Takafumi Kubota; Naohiro Aota; Kenji Kono (IEICE Trans. Inf. Syst., 2020)