Takahiro Ueda, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki. Proposal of Gamma Which Is a Spatial Data Sharing Distributed MQTT System. Proceedings of International Conference on Artificial Life and Robotics. 2022. 188-192
Takafumi Muto, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki. Expansion of Application Scope and Addition of a Function for Operations into BWDM to Generate Test Cases from VDM++ Specification. Proceedings of International Conference on Artificial Life and Robotics. 2022. 183-187
Kensuke Suga, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki. Proposal of a Method to Generate Classes and Instance Variable Definitions in the VDM++ Specification from Natural Language Specification. Proceedings of International Conference on Artificial Life and Robotics. 2022. 178-182
Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki. Measuring test suite reusability based on the usage frequency and coverage of reused test cases. Journal of Robotics, Networking and Artificial Life. 2021. 8. 1. 24-28
Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki. Measuring redundancy score for test suite evaluation by using test cases matching approach. Journal of Robotics, Networking and Artificial Life. 2021. 8. 1. 1-5