Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example. - Tomohiko Takagi; Shogo Morimoto; Tetsuro Katayama (J. Robotics Netw. Artif. Life, 2017)

Genetic Algorithm-Based Technique and Tool for Generating Mutants of Extended Place/Transition Nets. - Tomohiko Takagi; Shogo Morimoto (J. Robotics Netw. Artif. Life, 2018)

Animated Graphics-based Training Support Method and Prototype Tool for Bug Fixing of Extended Place/Transition Nets. - Tomohiko Takagi; Shogo Morimoto; Yuki Ue; Yoshiro Imai (J. Robotics Netw. Artif. Life, 2019)