Hiroki Tokuoka

According to our database, Hiroki Tokuoka authored at least 2 papers between 1998 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

DC2: A framework for scalable, scope-bounded software verification.

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

1998

A Technique for Analyzing and Testing Object-Oriented Software Using Colored Petri Nets.

Harumi Watanabe, Hiroki Tokuoka, Wenxin Wu, Motoshi Saeki

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998