Hiroki Kumamoto

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Transition Systems

Dynamic Analysis

Formal Specification

Top Venues

Publications

Hiroki Kumamoto, Takahisa Mizuno, Kensuke Narita, Shin-ya Nishizaki
Applying Model Checking to Destructive Testing and Analysis of Software System. J. Softw. 8 (5) (2013)
Hiroki Kumamoto, Tomoya Noro, Takehiro Tokuda
Client-Side Centric Model for Generating One-Page Modern Web Applications Dealing with Databases. EJC (2011)