A Program Simplification Method for Generating Test Input Values Using Symbolic Execution. - Ryo Soga; Tetsuya Yonemitsu; Mitsuo Inagaki; Yasushi Fujisaki; Hiroo Sugou; Hideyuki Kanuka (APSEC, 2020)