Chikashi Okamoto

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 1

Top Topics

Symbolic Execution

Top Venues

Publications

Hiroki Ohbayashi, Hideyuki Kanuka, Chikashi Okamoto
A Preprocessing Method of Test Input Generation by Symbolic Execution for Enterprise Application. APSEC (2018)
Kentaro Yoshimura, Jun Shimabukuro, Takatoshi Ohara, Chikashi Okamoto, Yoshitaka Atarashi, Shinobu Koizumi, Shigeru Watanabe, Kazumi Funakoshi
Key Activities for Introducing Software Product Lines into Multiple Divisions: Experience at Hitachi. SPLC (2011)