Hiroki Tokuoka

Publication Activity (10 Years)

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

Publications

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki
DC2: A framework for scalable, scope-bounded software verification. ASE (2011)
Harumi Watanabe, Hiroki Tokuoka, Wenxin Wu, Motoshi Saeki
A Technique for Analyzing and Testing Object-Oriented Software Using Colored Petri Nets. APSEC (1998)