A New Refinement Type System for Automated $ nu text {HFL}_ mathbb {Z}$ Validity Checking. - Hiroyuki Katsura; Naoki Iwayama; Naoki Kobayashi 001; Takeshi Tsukada (APLAS, 2020)

SLOPT: Bandit Optimization Framework for Mutation-Based Fuzzing. - Yuki Koike; Hiroyuki Katsura; Hiromu Yakura; Yuma Kurogome (ACSAC, 2022)

On Higher-Order Reachability Games Vs May Reachability. - Kazuyuki Asada; Hiroyuki Katsura; Naoki Kobayashi 001 (RP, 2022)

Higher-Order Property-Directed Reachability. - Hiroyuki Katsura; Naoki Kobayashi 001; Ryosuke Sato 001 (Proc. ACM Program. Lang., 2023)

Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem. - Hiroyuki Katsura; Naoki Kobayashi 001; Ken Sakayori; Ryosuke Sato 001 (APLAS, 2024)

Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem. - Hiroyuki Katsura; Naoki Kobayashi 001; Ken Sakayori; Ryosuke Sato 001 (Zenodo, 2024)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types. - Hiroyuki Katsura; Naoki Kobayashi 001; Ken Sakayori; Ryosuke Sato 001 (CoRR, 2025)