Login / Signup
Tetsuya Inafune
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 2
Top Topics
Range Data
Java Bytecode
Forward Backward
Open Source
Top Venues
ICCMS
</>
Publications
</>
Tetsuya Inafune
,
Shinichi Miura
,
Toshihiro Taketa
,
Yukio Hiranaka
Symbolic backward simulation of Java bytecode program.
ICCMS
(2018)
Yukio Hiranaka
,
Tetsuya Inafune
,
Shinichi Miura
,
Toshihiro Taketa
Backward range simulation of Java bytecodes and reduction of its processing time.
ICCMS
(2017)