Backward range simulation of Java bytecodes and reduction of its processing time. - Yukio Hiranaka; Tetsuya Inafune; Shinichi Miura; Toshihiro Taketa (ICCMS, 2017)

Symbolic backward simulation of Java bytecode program. - Tetsuya Inafune; Shinichi Miura; Toshihiro Taketa; Yukio Hiranaka (ICCMS, 2018)