Login / Signup
Hideo Tanida
Publication Activity (10 Years)
Years Active: 2008-2020
Publications (10 Years): 1
Top Topics
Hardware Design
Practical Experience
Programming Environments
Top Venues
SANER
</>
Publications
</>
Kunihiro Noda
,
Yusuke Nemoto
,
Keisuke Hotta
,
Hideo Tanida
,
Shinji Kikuchi
Experience Report: How Effective is Automated Program Repair for Industrial Software?
SANER
(2020)
Hideo Tanida
,
Masahiro Fujita
,
Mukul R. Prasad
,
Sreeranga P. Rajan
Client-tier Validation of Dynamic Web Applications.
ICSOFT (2)
(2011)
Hideo Tanida
,
Mukul R. Prasad
,
Sreeranga P. Rajan
,
Masahiro Fujita
Automated System Testing of Dynamic Web Applications.
ICSOFT (Selected Papers)
(2011)
Masahiro Fujita
,
Hideo Tanida
,
Fei Gao
,
Tasuku Nishihara
,
Takeshi Matsumoto
Synthesis and formal verification of on-chip protocol transducers through decomposed specification.
ISQED
(2010)
Sho Kimura
,
Ryo Oguchi
,
Hideo Tanida
,
Yasuaki Kakehi
,
Keita Takahashi
,
Takeshi Naemura
PVLC projector: image projection with imperceptible pixel-level metadata.
SIGGRAPH Posters
(2008)