Login / Signup
Satoshi Harauchi
Publication Activity (10 Years)
Years Active: 2002-2019
Publications (10 Years): 2
Top Topics
Preprocessing
Consistency Checking
Source Code
Genetic Algorithm
Top Venues
IEICE Trans. Inf. Syst.
ICCCN
</>
Publications
</>
Kozo Okano
,
Satoshi Harauchi
,
Toshifusa Sekizawa
,
Shinpei Ogata
,
Shin Nakajima
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench.
IEICE Trans. Inf. Syst.
(8) (2019)
Kozo Okano
,
Satoshi Harauchi
,
Toshifusa Sekizawa
,
Shinpei Ogata
,
Shin Nakajima
Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability.
ICCCN
(2017)
Hideo Nakata
,
Satoshi Harauchi
,
Taizo Kojima
,
Yasuaki Nakamura
Automatic Generation of System Descriptions for Plant Supervisory Control Systems.
CATA
(2002)