Ryo Kurozumi

According to our database, Ryo Kurozumi authored at least 3 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens.

Tomohiko Takagi, Ryo Kurozumi

J. Robotics Netw. Artif. Life, 2021

2020

Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens.

Tomohiko Takagi, Ryo Kurozumi

J. Robotics Netw. Artif. Life, 2020

2019

State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing.

Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama

Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019