Hideo Tanida

According to our database, Hideo Tanida authored at least 5 papers between 2008 and 2020.

Collaborative distances:

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

2020

Experience Report: How Effective is Automated Program Repair for Industrial Software?

Kunihiro Noda, Yusuke Nemoto, Keisuke Hotta, Hideo Tanida, Shinji Kikuchi

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

2011

Automated System Testing of Dynamic Web Applications.

Hideo Tanida, Mukul R. Prasad, Sreeranga P. Rajan, Masahiro Fujita

Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Client-tier Validation of Dynamic Web Applications.

Hideo Tanida, Masahiro Fujita, Mukul R. Prasad, Sreeranga P. Rajan

Proceedings of the ICSOFT 2011, 2011

2010

Synthesis and formal verification of on-chip protocol transducers through decomposed specification.

Masahiro Fujita, Hideo Tanida, Fei Gao, Tasuku Nishihara, Takeshi Matsumoto

Proceedings of the 11th International Symposium on Quality of Electronic Design (ISQED 2010), 2010

2008

PVLC projector: image projection with imperceptible pixel-level metadata.

Sho Kimura, Ryo Oguchi, Hideo Tanida, Yasuaki Kakehi, Keita Takahashi, Takeshi Naemura

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2008