Tsutomu Kumazawa

A Study on How to Elicit Anticipated Scenarios from Use Cases for Safety Requirements Analysis

Tetsuo Tamai, Tsutomu Kumazawa, 2007 .

Counterexample-Based Error Localization of Behavior Models

Tetsuo Tamai, Tsutomu Kumazawa, 2011, NASA Formal Methods.

A Fast Learning Recommender Estimating Preferred Ranges of Features

Tsutomu Kumazawa, Takuya Hashimoto, Takeshi Nakano, 2018, JCKBSE.

Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts

Tsutomu Kumazawa, Yasushi Kambayashi, Munehiro Takimoto, 2019, Swarm Evol. Comput..

A Survey on the Applications of Swarm Intelligence to Software Verification

Tsutomu Kumazawa, Yasushi Kambayashi, Munehiro Takimoto, 2020 .

ACO Based Model Checking Extended by Smell-Like Pheromone with Hop Counts

Tsutomu Kumazawa, Yasushi Kambayashi, Munehiro Takimoto, 2017, ICHSA.

Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone

Tsutomu Kumazawa, Yasushi Kambayashi, Munehiro Takimoto, 2016 .

Iterative Model Fixing with Counterexamples

Tetsuo Tamai, Tsutomu Kumazawa, 2008, 2008 15th Asia-Pacific Software Engineering Conference.

Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone

Tsutomu Kumazawa, Yasushi Kambayashi, Munehiro Takimoto, 2016, EAI Endorsed Trans. Ind. Networks Intell. Syst..

Exploration Strategies for Model Checking with Ant Colony Optimization

Tsutomu Kumazawa, Yasushi Kambayashi, Munehiro Takimoto, 2021, ICCCI.