Makoto Ichii

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 2

Top Topics

Temporal Properties

Visualization Tool

Process Algebra

Top Venues

IEICE Trans. Inf. Syst.

Publications

Akihiro Hori, Masumi Kawakami, Makoto Ichii
CodeHouse: VR Code Visualization Tool. VISSOFT (2019)
Makoto Ichii, Daisuke Shimbara, Yasufumi Suzuki, Hideto Ogawa
Refactoring verification using model transformation. IWoR@ASE (2016)
Hideto Ogawa, Makoto Ichii, Fumihiro Kumeno, Toshiaki Aoki
Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking. COMPSAC (2015)
Hideto Ogawa, Makoto Ichii, Tomoyuki Myojin, Masaki Chikahisa, Yuichiroh Nakagawa
A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction. IEICE Trans. Inf. Syst. (6) (2015)
Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno, Toshiaki Aoki
A Practical Study of Debugging Using Model Checking. APSEC (2) (2013)
Makoto Ichii, Tomoyuki Myojin, Yuichiroh Nakagawa, Masaki Chikahisa, Hideto Ogawa
A Rule-based Automated Approach for Extracting Models from Source Code. WCRE (2012)
Ryuji Shimada, Yasuhiro Hayase, Makoto Ichii, Makoto Matsushita, Katsuro Inoue
A-SCORE: Automatic software component recommendation using coding context. ICSE Companion (2009)
Makoto Ichii, Makoto Matsushita, Katsuro Inoue
An Exploration of Power-Law in Use-Relation of Java Software Systems. Australian Software Engineering Conference (2008)