Client-Side Centric Model for Generating One-Page Modern Web Applications Dealing with Databases. - Hiroki Kumamoto; Tomoya Noro; Takehiro Tokuda (EJC, 2011)

Applying Model Checking to Destructive Testing and Analysis of Software System. - Hiroki Kumamoto; Takahisa Mizuno; Kensuke Narita; Shin-ya Nishizaki (J. Softw., 2013)