Past, Present, and Future of SRA Implementation of CafeOBJ: Annex. - Toshimi Sawada; Kouichi Kishida; Kokichi Futatsugi (FME, 2003)

A tool for analyzing and detecting malicious mobile code. - Akira Mori; Tomonori Izumida; Toshimi Sawada; Tadashi Inoue (ICSE, 2006)