Tomoji Kishi -

Registered user since Wed 7 Jul 2021

Name:Tomoji Kishi

Country:Japan

Affiliation:Waseda University

Personal website: http://www.kishi.mgmt.waseda.ac.jp

Contributions

2023

APSEC

Author of Family-based Model Checking using Probabilistic Model Checker PRISM within the Technical Track-track

2021

MODELS

General Chair in Organizing Committee

2020

IWCT

Author of Toward an Encoding Approach to Interaction-based Test Suite Minimization within the IWCT 2020-track