Verification System, Method, and Program (Decision Table Generation from Source Code)

Chikahiro Umeda, Luke Sy, Araki Dai, Tomohiro Yanagi, Noritaka Kawakatsu, Mihiro Sato, Toru Ono, Kenji Izutsu, Yusuke Watanabe, Yoshinori Hasabe

2016 Jan 1

Type