Iterative Model Fixing with Counterexamples. - Tsutomu Kumazawa; Tetsuo Tamai (APSEC, 2008)

Counterexample-Based Error Localization of Behavior Models. - Tsutomu Kumazawa; Tetsuo Tamai (NASA Formal Methods, 2011)

Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone. - Tsutomu Kumazawa; Chihiro Yokoyama; Munehiro Takimoto; Yasushi Kambayashi (EAI Endorsed Trans. Ind. Networks Intell. Syst., 2016)

ACO Based Model Checking Extended by Smell-Like Pheromone with Hop Counts. - Keiichiro Takada; Munehiro Takimoto; Tsutomu Kumazawa; Yasushi Kambayashi (ICHSA, 2017)

A Fast Learning Recommender Estimating Preferred Ranges of Features. - Takuya Watanabe 002; Yuji Nakazato; Hiroaki Muroi; Takuya Hashimoto; Toru Shimogaki; Takeshi Nakano; Tsutomu Kumazawa (JCKBSE, 2018)

Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts. - Tsutomu Kumazawa; Keiichiro Takada; Munehiro Takimoto; Yasushi Kambayashi (Swarm Evol. Comput., 2019)

Exploration Strategies for Model Checking with Ant Colony Optimization. - Tsutomu Kumazawa; Munehiro Takimoto; Yasushi Kambayashi (ICCCI, 2021)

A safety checking algorithm with multi-swarm particle swarm optimization. - Tsutomu Kumazawa; Munehiro Takimoto; Yasushi Kambayashi (GECCO Companion, 2022)

Uncertainty Aware Model Integration on Reinforcement Learning. - Takashi Nagata; Jinwei Xing; Tsutomu Kumazawa; Emre Neftci (IJCNN, 2022)

Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization. - Tsutomu Kumazawa; Munehiro Takimoto; Yasushi Kambayashi (J. Inf. Telecommun., 2022)

Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization. - Tsutomu Kumazawa; Munehiro Takimoto; Yasushi Kodama; Yasushi Kambayashi (PAAMS, 2023)